CNFgen: A Generator of Crafted Benchmarks.

Massimo Lauria Jan Elffers Jakob Nordström Marc Vinyals

Published in: SAT (2017)

Keyphrases

benchmark suite
database
knowledge base
image processing
case study
information technology
data model
random numbers