... Useful links

• A collection of very challenging benchmarks, available in CNF, ISCAS and BLIF formats from Miroslav Velev's WEB page (mvelev@ece.cmu.edu):

http://www.ece.cmu.edu/~mvelev/#BENCHMARKS

They can be used for SAT-checking, BDD heuristics optimization, ATPG, etc.

Back to Stefano Quer's Home Page