학술논문
Solving non-clausal formulas with DPLL search
Document Type
Article
Author
Source
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3258:663-678)
Subject
Language
English
ISSN
16113349
03029743
03029743