A new order parameter for 3SAT: Utility-based termination of anytime algorithms: M.S. Thesis

Research output: Thesis › Master's thesis

Original language	English
Qualification	Master Degree
Awarding Institution	University of Massachusetts System
Publication status	Published - 1994
MoE publication type	G2 Master's thesis, polytechnic Master's thesis

Cite this

@mastersthesis{085fa3dc0d604ee5aaeecb469911d0ba,

title = "A new order parameter for 3SAT: Utility-based termination of anytime algorithms: M.S. Thesis",

author = "Tuomas Sandholm",

note = "University of Massachusetts at Amherst. Computer Science Department CA: TTE",

year = "1994",

language = "English",

school = "University of Massachusetts System",

}