SAT-Based Circuit Local Improvement.

Alexander S. Kulikov, Danila Pechenev, Nikita Slezkin

Browse the full MFCS paper archive.