M. P. Schuijers

MASTER'S THESIS Integrating a BDD prover and a DPLL SAT solver for Abstract Data Types

M. P. Schuijers, 2006 .