Hard Satisfiable Formulas for Splittings by Linear Combinations.

Dmitry Itsykson, Alexander Knop

Browse the full SAT paper archive.