Operations research based approaches for the (maximum) satisfiability problem

L van Norden

Research output: Thesis › Dissertation (external, preparation TU Delft)

Original language	Undefined/Unknown
Qualification	Doctor of Philosophy
Awarding Institution	Delft University of Technology
Supervisors/Advisors	Sips, H.J., Supervisor
Award date	13 Feb 2006
Place of Publication	Delft
Publisher	Technische Universiteit Delft
Publication status	Published - 2006

Keywords

@phdthesis{60ac34516d4040779c4ba106d07b1825,

title = "Operations research based approaches for the (maximum) satisfiability problem",

keywords = "Diss. prom. aan TU Delft",

author = "{van Norden}, L",

year = "2006",

language = "Undefined/Unknown",

publisher = "Technische Universiteit Delft",

type = "Dissertation (external, preparation TU Delft)",

school = "Delft University of Technology",

}