| 2008 | PRICAI | Probabilistic Nogood Store as a Heuristic. | Andrei Missine, William S. Havens |
| 2005 | AI | Queuing Local Solutions in Distributed Constraint Satisfaction Systems. | Ronnie Mueller, William S. Havens |
| 2005 | AI | Modelling an Academic Curriculum Plan as a Mixed-Initiative Constraint Satisfaction Problem. | Kun Wu, William S. Havens |
| 2005 | CP | Extending Systematic Local Search for Job Shop Scheduling Problems. | Bistra Dilkina, Lei Duan, William S. Havens |
| 2004 | AAAI | The U.S. National Football League Scheduling Problem. | Bistra N. Dilkina, William S. Havens |
| 2004 | AI | A Hybrid Schema for Systematic Local Search. | William S. Havens, Bistra N. Dilkina |
| 2004 | AI | On Selection Strategies for the DPLL Algorithm. | Morten Irgens, William S. Havens |
| 2004 | AI | Histogram Arc Consistency as a Value Ordering Heuristic. | Wei Liu, William S. Havens |
| 2002 | AI | Generalized Arc Consistency with Application to MaxCSP. | Michael C. Horsch, William S. Havens, Aditya Ghose |
| 2000 | CP | An Empirical Study of Probabilistic Arc Consistency. | Michael C. Horsch, William S. Havens |
| 2000 | UAI | Probabilistic Arc Consistency: A Connection between Constraint Reasoning and Probabilistic Reasoning. | Michael C. Horsch, William S. Havens |
| 1997 | AAAI | Detecting Unsatisfiable CSPs by Coloring the Micro-Structure. | Daya Ram Gaur, W. Ken Jackson, William S. Havens |
| 1997 | AAAI | NoGood Caching for MultiAgent Backtrack Search. | William S. Havens |
| 1993 | IUI | Intelligent mediation: an architecture for the real-time allocation of interface resources. | Russell Ovans, William S. Havens |
| 1989 | IJCAI | Platypus: A Constraint-Based Reasoning System. | William S. Havens, Paul Stephen Rehfuss |
| 1981 | IJCAI | Structuring Domain Knowledge For Visual Perception. | Alan K. Mackworth, William S. Havens |
| 1977 | IJCAI | A Procedural Model of Recognition. | William S. Havens |