3 citations · 6 across the 9 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.AI2011★ 1 cited
On the expressive power of unit resolution
Olivier Bailleux
This preliminary report addresses the expressive power of unit resolution regarding input data encoded with partial truth assignments of propositional variables. A characterization…
cs.AI2011★ 1 cited
BoolVar/PB v1.0, a java library for translating pseudo-Boolean constraints into CNF formulae
Olivier Bailleux
BoolVar/PB is an open source java library dedicated to the translation of pseudo-Boolean constraints into CNF formulae. Input constraints can be categorized with tags. Several enco…