Integrating a BDD prover and a DPLL SAT solver for abstract data types

  • M.P. Schuijers

Scriptie/Masterproef: Master

Datum prijs31 jan. 2006
Originele taalEngels
BegeleiderJ.C. van de Pol (Afstudeerdocent 1)

Citeer dit

Documenten

  • full text

    Bestand: application/pdf, 480 KB

    Type: Scriptie

'