SmArT solving: Tools and techniques for satisfiability solvers

MJH Heule

    Research output: ThesisDissertation (TU Delft)

    Original languageUndefined/Unknown
    QualificationDoctor of Philosophy
    Awarding Institution
    • Delft University of Technology
    • Witteveen, C., Supervisor
    Award date25 Mar 2008
    Print ISBNs978-90-9022877-8
    Publication statusPublished - 2008


    • Wiskunde en Informatica
    • Techniek
    • technische Wiskunde en Informatica
    • Diss. prom. aan TU Delft

    Cite this