Publications

Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-Clause-Sets and the Lean Kernel

AuthID
P-004-QV4

Author(s)

Kullmann, O

Lynce, I

Marques Silva, J

Editor(s)

Biere,A;Gomes,CP

Document Type

Proceedings Paper

Year published

2006

Published

in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 4121, Pages: 22-35 (14)

Conference

9Th International Conference on Theory and Applications of Satisfiability Testing, Date: AUG 12-15, 2006, Location: Seattle, WA, Sponsors: Cadence, IBM, Microsoft Res, NEC, John VonNeumann Minerva Ctr Dev React Syst, Cornell Univ, Intelligent Informat Syst Inst

Indexing