Optimal Circuit Problem to SAT converter

This page is devoted to the converter of Optimal Circuit Problem to SAT.

Source Code



NOTE: Everything on this page is distributed without any warranty. All available materials are solely intended for research and educational purposes.

Home page of Arist Kojevnikov

Home page of Alexander S. Kulikov

Home page of Grigory Yaroslavtsev