research
∙
12/06/2022
Generation and Prediction of Difficult Model Counting Instances
We present a way to create small yet difficult model counting instances....
share
research
∙
10/15/2019
Solving Logic Grid Puzzles with an Algorithm that Imitates Human Behavior
We present in this paper our solver for logic grid puzzles. The approach...
research
∙
03/08/2019
Generating Difficult SAT Instances by Preventing Triangles
When creating benchmarks for SAT solvers, we need SAT instances that are...
research
∙
02/12/2015
Variable and value elimination in binary constraint satisfaction via forbidden patterns
Variable or value elimination in a constraint satisfaction problem (CSP)...
research
∙
01/18/2012
