Categorisation of clauses in conjunctive normal forms: minimally unsatisfiable sub-clause-sets and the lean kernel

Kullmann, O., Lynce, I. and Marques-Silva, J. (2006) Categorisation of clauses in conjunctive normal forms: minimally unsatisfiable sub-clause-sets and the lean kernel. In: International Conference on Theory and Applications of Satisfiability Testing, August 2006, Seattle, USA. pp. 22-35.

Download

Preview

PDF 546Kb

Item Type:	Conference or Workshop Item
Creator/Authors:	O. Kullmann I. Lynce J. Marques-Silva
Research Group:	Old ECS Groups > Dependable Systems and Software Engineering Research Group
Date:	August 2006
Information about this record:
Performance Indicator:	EZ~03~01~04
Citations:	ISI: 5, Google Scholar: 21
Downloads (2010):	11
ID Code:	12430
Last Modified:	23 Sep 2011 10:33
Deposited On:	28 Apr 2006 by Marques-Silva, Joao

Tools & Metadata

Download Statistics

Members of ECS may view the download statistics dashboard for this record.

Corrections

ECS staff and postgraduates may modify this record