Generating Difficult SAT Instances by Preventing Triangles

Guillaume Escamocher, Barry O'Sullivan, Steven David Prestwich

When creating benchmarks for SAT solvers, we need SAT instances that are easy to build but hard to solve. A recent development in the search for such methods has led to the Balance…