Sciweavers

Share
ECAI
2006
Springer

Compact Representation of Sets of Binary Constraints

8 years 8 months ago
Compact Representation of Sets of Binary Constraints
Abstract. We address the problem of representing big sets of binary constraints compactly. Binary constraints in the form of 2literal clauses are ubiquitous in propositional formulae that represent real-world problems ranging from model-checking problems in computer-aided verification to AI planning problems. Current satisfiability and constraint solvers are applicable to very big problems, and in some cases the physical size of the problem representations prevents solving the problems, not their computational difficulty. Our work is motivated by this observation. We propose graph-theoretic techniques based on cliques and bicliques for compactly representing big sets of binary constraints that have the form of 2-literal clauses. An n, m biclique in a graph associated with the constraints can be very compactly represented with only n + m binary constraints and one auxiliary variable. Cliques in the graph are associated with at-most-one constraints, and can be represented with a logarith...
Jussi Rintanen
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where ECAI
Authors Jussi Rintanen
Comments (0)
books