Efficient solution of systems of Boolean equations.

Scott Woods, Giorgio Casinovi

Browse the full ICCAD paper archive.