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