Source code of the converter.
Download: circuitToSAT.tar.gz (~13 kb)
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.
Home page of Arist Kojevnikov
Home page of Alexander S. Kulikov
Home page of Grigory Yaroslavtsev