|
Volumn 42, Issue 7, 1999, Pages 720-731
|
Two tractable subclasses of minimal unsatisfiable formulas
a a |
Author keywords
Collapsing; Minimal unsatisfiability; Satisfaibility test; Simplification procedure; Splitting
|
Indexed keywords
|
EID: 0010598232
PISSN: 10069283
EISSN: None
Source Type: Journal
DOI: 10.1007/BF02878991 Document Type: Article |
Times cited : (7)
|
References (6)
|