Original language | English |
---|---|
Qualification | Master Degree |
Awarding Institution |
|
Publication status | Published - 1994 |
MoE publication type | G2 Master's thesis, polytechnic Master's thesis |
A new order parameter for 3SAT: Utility-based termination of anytime algorithms: M.S. Thesis
Tuomas Sandholm
Research output: Thesis › Master's thesis