Source code of the converter.
Download: circuitToSAT.tar.gz (~13 kb)
Benchmarks from crafted category of
Sat Competition'2009.
Download: benchmarks.tar.bz2 (~10 mb)
Arist Kojevnikov, Alexander S. Kulikov and Grigory Yaroslavtsev, Finding Efficient Circuits Using SAT-solvers, in Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009), pp. 32-44.
Arist Kojevnikov, Alexander S. Kulikov and Grigory Yaroslavtsev, Circuit Complexity of MOD-functions, PDMI preprint 18/2008, Steklov Institute of Mathematics at St.Petersburg.