CNFgen: A Generator of Crafted Benchmarks.

Massimo Lauria, Jan Elffers, Jakob Nordstrm, Marc Vinyals

Browse the full SAT paper archive.