Minimization problem for Boolean formulas

Annual Symposium on Foundations of Computer Science - Proceedings

Volumn , Issue , 1997, Pages 575-584

  Hemaspaandra, Edith ^a   Wechsung, Gerd ^a  

^a LE MOYNE COLLEGE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; PARALLEL PROCESSING SYSTEMS; PROBLEM SOLVING; THEOREM PROVING;

BOOLEAN FORMULAS; MINIMIZATION PROBLEMS;

BOOLEAN ALGEBRA;

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

References (14)