Gate-level simulation of digital circuits using multi-valued Boolean algebras. - Scott Woods; Giorgio Casinovi (ICCAD, 1995)

Efficient solution of systems of Boolean equations. - Scott Woods; Giorgio Casinovi (ICCAD, 1996)