SAT-based Circuit Local Improvement

Alexander S. Kulikov, Danila Pechenev, Nikita Slezkin

Finding exact circuit size is a notorious optimization problem in practice. Whereas modern computers and algorithmic techniques allow to find a circuit of size seven in blink of an…