Finding Efficient Circuits Using SAT-Solvers.

Arist Kojevnikov, Alexander S. Kulikov, Grigory Yaroslavtsev

Browse the full SAT paper archive.