Guillaume Escamocher
Post-Doc at Insight
We present a way to create small yet difficult model counting instances....
We present in this paper our solver for logic grid puzzles. The approach...
When creating benchmarks for SAT solvers, we need SAT instances that are...
Variable or value elimination in a constraint satisfaction problem (CSP)...
Although the CSP (constraint satisfaction problem) is NP-complete, even ...