![]() |
Volumn 117, Issue 1, 1995, Pages 12-18
|
Resolution for quantified boolean formulas
|
Author keywords
[No Author keywords available]
|
Indexed keywords
|
EID: 0002037968
PISSN: 08905401
EISSN: 10902651
Source Type: Journal
DOI: 10.1006/inco.1995.1025 Document Type: Article |
Times cited : (323)
|
References (6)
|