Havens, William S.

6 publications

AAAI 2004 The U.S. National Football League Scheduling Problem Bistra N. Dilkina, William S. Havens

UAI 2000 Probabilistic Arc Consistency: A Connection Between Constraint Reasoning and Probabilistic Reasoning Michael C. Horsch, William S. Havens

AAAI 1997 Detecting Unsatisfiable CSPs by Coloring the Micro-Structure Daya Ram Gaur, W. Ken Jackson, William S. Havens

IJCAI 1989 Platypus: A Constraint-Based Reasoning System William S. Havens, Paul Stephen Rehfuss

IJCAI 1981 Structuring Domain Knowledge for Visual Perception Alan K. Mackworth, William S. Havens

IJCAI 1977 A Procedural Model of Recognition William S. Havens