|
|
|
Volumn 1, Issue , 1996, Pages 510-515
|
|
Compilation for critically constrained knowledge bases
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGORITHMS;
COMPUTATIONAL COMPLEXITY;
LEARNING SYSTEMS;
PROBABILITY;
QUERY LANGUAGES;
RANDOM PROCESSES;
COMPILATION;
CONJUNCTIVE NORMAL FORMULA;
CRITICALLY CONSTRAINED KNOWLEDGE BASES;
DAVIS-PUTNAM PROOF PROCEDURE;
RANDOM THREE SATISFIABILITY TESTING KNOWLEDGE BASES;
KNOWLEDGE BASED SYSTEMS;
|
|
EID: 0030365398
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (44)
|
|
References (0)
|
