39 citations · 161 across the 21 of their papers we have counts for
1 paper · 1 filter
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…