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
    Supervisors/Advisors
    • Witteveen, C., Supervisor
    Award date25 Mar 2008
    Print ISBNs978-90-9022877-8
    Publication statusPublished - 2008

    Keywords

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

    Cite this