Abstract
| Date of Award | 31 Jan 2006 |
|---|---|
| Original language | English |
| Supervisor | J.C. van de Pol (Supervisor 1) |
Cite this
Integrating a BDD prover and a DPLL SAT solver for abstract data types
Schuijers, M. P. (Author). 31 Jan 2006
Student thesis: Master