57 citations · 78 across the 5 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.AI2011★ 57 cited
Solving Set Constraint Satisfaction Problems using ROBDDs
P. J. Hawkins, V. Lagoon, P. J. Stuckey
In this paper we present a new approach to modeling finite set domain constraint problems using Reduced Ordered Binary Decision Diagrams (ROBDDs). We show that it is possible to co…
cs.AI2011★ 3 cited
Boolean Equi-propagation for Optimized SAT Encoding
Amit Metodi, Michael Codish, Vitaly Lagoon +1
We present an approach to propagation based solving, Boolean equi-propagation, where constraints are modelled as propagators of information about equalities between Boolean literal…