Prime implicant computation using satisfiability algorithms

Proceedings of the International Conference on Tools with Artificial Intelligence

Volumn , Issue , 1997, Pages 232-239

  Manquinho, Vasco M ^a   Flores, Paulo F ^a   Silva, Joao P Marques ^a   Oliveira, Arlindo L ^a  

^a INSTITUTO SUPERIOR TÉCNICO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; INTEGER PROGRAMMING;

PROPOSITIONAL SATISFIABILITY (SAF);

LINEAR PROGRAMMING;

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

References (16)