22 citations · 90 across the 29 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.AI2020
On Irrelevant Literals in Pseudo-Boolean Constraint Learning
Danel Le Berre, Pierre Marquis, Stefan Mengel +1
Learning pseudo-Boolean (PB) constraints in PB solvers exploiting cutting planes based inference is not as well understood as clause learning in conflict-driven clause learning sol…
cs.AI2020
Lower Bounds for Approximate Knowledge Compilation
Alexis de Colnet, Stefan Mengel
Knowledge compilation studies the trade-off between succinctness and efficiency of different representation languages. For many languages, there are known strong lower bounds on th…