Recent news about SAT for tag Benchmarks


  • Jun 1, 2015  Weakening Cardinality Constraints Creates Harder Satisfiability Benchmarks by Ivor Spence Benchmarks 

    For some time, the satisfiability formulae that have been the most difficult to solve for their size have been crafted to be unsatisfiable by the use of cardinality constraints. Recent solvers have introduced explicit checking of such constraints, rendering previously difficult formulae trivial to solve. A family of unsatisfiable formulae is described that is derived from the sgen4 family but cannot be solved using cardinality constraints detection and reasoning alone. These formulae were found to be the most difficult during the SAT2014 competition by a significant margin and include the shortest unsolved benchmark in the competition, sgen6- 1200-5-1.cnf.

Our scientific association

The SAT association

Upcoming deadlines

March 25, 2018
VCLA student award
March 31, 2018
Sparkle SAT
April 12, 2018
CP'18 paper submission
April 15, 2018
FLoC 2018 WS

SAT related books