Search Results for author: Steven David Prestwich

Found 1 papers, 0 papers with code

Generating Difficult SAT Instances by Preventing Triangles

no code implementations8 Mar 2019 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.