New algorithm for computing theory prime implicates compilations

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 1996, Pages 504-509

  Marquis, Pierre ^a   Sadaoui, Samira ^a  

^a CRIN   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY SEQUENCES; COMPUTATIONAL COMPLEXITY; EQUIVALENCE CLASSES; KNOWLEDGE BASED SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS);

KNOWLEDGE BASE COMPILATION; MINIMAL IMPLICATES; PRIME IMPLICATES; PRIME IMPLICATES COMPILATION;

ALGORITHMS;

EID: 0030354104     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (0)