| 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