Algorithms for Solving Boolean Satisfiability in Combinational Circuits.

Lus Guerra e Silva, Lus Miguel Silveira, Joo Marques-Silva

Browse the full DATE paper archive.