A Procedural Model of Recognition. - William S. Havens (IJCAI, 1977)

Structuring Domain Knowledge For Visual Perception. - Alan K. Mackworth; William S. Havens (IJCAI, 1981)

Representing Knowledge of the Visual World. - William S. Havens; Alan K. Mackworth (Computer, 1983)

Knowledge Structuring and Constraint Satisfaction: The Mapsee Approach. - Jan A. Mulder; Alan K. Mackworth; William S. Havens (IEEE Trans. Pattern Anal. Mach. Intell., 1988)

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

The Playtypus Expert System Shell. - William S. Havens (KBCS, 1989)

Hierarchical Arc Consistency for Disjoint Real Intervals in Constraint Logic Programming. - Greg Sidebottom; William S. Havens (Comput. Intell., 1992)

Intelligent mediation: an architecture for the real-time allocation of interface resources. - Russell Ovans; William S. Havens (IUI, 1993)

NSAIL PLAN: an experience with constraint-based reasoning in planning and animation. - Sang Mah; Thomas W. Calvert; William S. Havens (CA, 1994)

A Constraint-Based Reasoning Framework for Behavioural Animation. - Sang Mah; Thomas W. Calvert; William S. Havens (Comput. Graph. Forum, 1994)

An Architecture for Building Multi-Agent Systems. - William S. Havens; Daya Ram Gaur; Russell Ovans (SCAI, 1995)

Committing to User Choices in Mixed Initiative CSPs. - W. Ken Jackson; William S. Havens (SCAI, 1995)

Nicolog: A Simple Yet Powerful cc(FD) Language. - Greg Sidebottom; William S. Havens (J. Autom. Reason., 1996)

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

NoGood Caching for MultiAgent Backtrack Search. - William S. Havens (AAAI Workshop: Constraints & Agents, 1997)

Extending Dynamic Backtracking for Distributed Constraint Satisfaction Problems. - William S. Havens (Australian Joint Conference on Artificial Intelligence, 1997)

A Constraint Optimization Framework for MultiAgent Anytime Scheduling. - William S. Havens; Randy Goebel; Jean Berger; René Proulx (Australian Joint Conference on Artificial Intelligence, 1999)

An Examination of Probabilistic Value-Ordering Heuristics. - Matt Vernooy; William S. Havens (Australian Joint Conference on Artificial Intelligence, 1999)

An Empirical Study of Probabilistic Arc Consistency. - Michael C. Horsch; William S. Havens (CP, 2000)

Probabilistic Arc Consistency: A Connection between Constraint Reasoning and Probabilistic Reasoning. - Michael C. Horsch; William S. Havens (UAI, 2000)

Generalized Arc Consistency with Application to MaxCSP. - Michael C. Horsch; William S. Havens; Aditya Ghose (AI, 2002)

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

A Hybrid Schema for Systematic Local Search. - William S. Havens; Bistra N. Dilkina (Canadian AI, 2004)

On Selection Strategies for the DPLL Algorithm. - Morten Irgens; William S. Havens (Canadian AI, 2004)

Histogram Arc Consistency as a Value Ordering Heuristic. - Wei Liu; William S. Havens (Canadian AI, 2004)

Queuing Local Solutions in Distributed Constraint Satisfaction Systems. - Ronnie Mueller; William S. Havens (Canadian AI, 2005)

Modelling an Academic Curriculum Plan as a Mixed-Initiative Constraint Satisfaction Problem. - Kun Wu; William S. Havens (Canadian AI, 2005)

Optimal design in collaborative design network. - Y. Xiang; J. Chen; William S. Havens (AAMAS, 2005)

Extending Systematic Local Search for Job Shop Scheduling Problems. - Bistra Dilkina; Lei Duan; William S. Havens (CP, 2005)

Probabilistic Nogood Store as a Heuristic. - Andrei Missine; William S. Havens (PRICAI, 2008)