Washington / DC / Amsterdam / New York / Sydney / /
Company
3SAT / Elsevier Science B.V. / SAT 338 LP. / /
Country
Australia / United Kingdom / /
Currency
USD / / /
Facility
Cornell University / South Bridge / Edinburgh University / University of Edinburgh / /
IndustryTerm
satisfiability algorithms / search tree / computing / median search cost / search depth / /
Organization
INRIALorraine / Edinburgh University / Department of Computer Science / T. Walsh/Artificial Intelligence / University of Edinburgh / Department of Al / Artificial Intelligence ELSEVIER Artificial Intelligence / Cornell University / /
Person
Ian P. Gent / Alan Bundy / Toby Walsh / Paul Purdom / Pierre Lescanne / / /
Position
Bob Constable / first author / Corresponding author / /