| 1996 | ||
|---|---|---|
| 2 | Scott Woods, Giorgio Casinovi: Efficient solution of systems of Boolean equations. ICCAD 1996: 542-546 | |
| 1995 | ||
| 1 | Scott Woods, Giorgio Casinovi: Gate-level simulation of digital circuits using multi-valued Boolean algebras. ICCAD 1995: 413-419 | |
| 1 | Giorgio Casinovi | [1] [2] |