Computation of prime implicates and prime implicants by a variant of the Davis and Putnam procedure

Proceedings of the International Conference on Tools with Artificial Intelligence

Volumn , Issue , 1996, Pages 428-429

  Castell, Thierry ^a  

^a UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; FORMAL LOGIC; PROBLEM SOLVING;

CONJUNCTIVE NORMAL FORM; DAVIS AND PUTNAM PROCEDURE; DISJUNCTIVE NORMAL FORM; PRIME IMPLICANTS; PRIME IMPLICATES;

ARTIFICIAL INTELLIGENCE;

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

References (5)