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

Tuomas Sandholm

Research output: ThesisMaster's thesisTheses

Original languageEnglish
QualificationMaster Degree
Awarding Institution
  • University of Massachusetts
Publication statusPublished - 1994
MoE publication typeG2 Master's thesis, polytechnic Master's thesis

Cite this