SmArT solving: Tools and techniques for satisfiability solvers

MJH Heule

Research output: Thesis › Dissertation (TU Delft)

Original language	Undefined/Unknown
Qualification	Doctor of Philosophy
Awarding Institution	Delft University of Technology
Supervisors/Advisors	Witteveen, C., Promotor
Award date	25 Mar 2008
Print ISBNs	978-90-9022877-8
Publication status	Published - 2008

Keywords

@phdthesis{b38cc3bfc0fa4e92896cf315511800e1,

title = "SmArT solving: Tools and techniques for satisfiability solvers",

keywords = "Wiskunde en Informatica, Techniek, technische Wiskunde en Informatica, Diss. prom. aan TU Delft",

author = "MJH Heule",

year = "2008",

language = "Undefined/Unknown",

isbn = "978-90-9022877-8",

type = "Dissertation (TU Delft)",

school = "Delft University of Technology",

}