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

@phdthesis{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",

}

Sandholm, T 1994, 'A new order parameter for 3SAT: Utility-based termination of anytime algorithms: M.S. Thesis', Master Degree, University of Massachusetts.

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

1994.

Research output: ThesisMaster's thesisTheses

TY - THES

T1 - A new order parameter for 3SAT

T2 - Utility-based termination of anytime algorithms: M.S. Thesis

AU - Sandholm, Tuomas

N1 - University of Massachusetts at Amherst. Computer Science Department CA: TTE

PY - 1994

Y1 - 1994

M3 - Master's thesis

ER -