Search the dblp DataBase
William S. Havens :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Bistra N. Dilkina , William S. Havens The U.S. National Football League Scheduling Problem. [Citation Graph (0, 0)][DBLP ] AAAI, 2004, pp:814-819 [Conf ] Daya Ram Gaur , W. Ken Jackson , William S. Havens Detecting Unsatisfiable CSPs by Coloring the Micro-Structure. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 1997, pp:215- [Conf ] William S. Havens , Bistra N. Dilkina A Hybrid Schema for Systematic Local Search. [Citation Graph (0, 0)][DBLP ] Canadian Conference on AI, 2004, pp:248-260 [Conf ] Michael C. Horsch , William S. Havens , Aditya Ghose Generalized Arc Consistency with Application to MaxCSP. [Citation Graph (0, 0)][DBLP ] Canadian Conference on AI, 2002, pp:104-118 [Conf ] Wei Liu , William S. Havens Histogram Arc Consistency as a Value Ordering Heuristic. [Citation Graph (0, 0)][DBLP ] Canadian Conference on AI, 2004, pp:510-516 [Conf ] Morten Irgens , William S. Havens On Selection Strategies for the DPLL Algorithm. [Citation Graph (0, 0)][DBLP ] Canadian Conference on AI, 2004, pp:277-291 [Conf ] Ronnie Mueller , William S. Havens Queuing Local Solutions in Distributed Constraint Satisfaction Systems. [Citation Graph (0, 0)][DBLP ] Canadian Conference on AI, 2005, pp:103-107 [Conf ] Kun Wu , William S. Havens Modelling an Academic Curriculum Plan as a Mixed-Initiative Constraint Satisfaction Problem. [Citation Graph (0, 0)][DBLP ] Canadian Conference on AI, 2005, pp:79-90 [Conf ] Y. Xiang , J. Chen , William S. Havens Optimal design in collaborative design network. [Citation Graph (0, 0)][DBLP ] AAMAS, 2005, pp:241-248 [Conf ] William S. Havens Extending Dynamic Backtracking for Distributed Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Australian Joint Conference on Artificial Intelligence, 1997, pp:37-46 [Conf ] William S. Havens , Randy Goebel , Jean Berger , René Proulx A Constraint Optimization Framework for MultiAgent Anytime Scheduling. [Citation Graph (0, 0)][DBLP ] Australian Joint Conference on Artificial Intelligence, 1999, pp:480-481 [Conf ] Matt Vernooy , William S. Havens An Examination of Probabilistic Value-Ordering Heuristics. [Citation Graph (0, 0)][DBLP ] Australian Joint Conference on Artificial Intelligence, 1999, pp:340-352 [Conf ] Bistra N. Dilkina , Lei Duan , William S. Havens Extending Systematic Local Search for Job Shop Scheduling Problems. [Citation Graph (0, 0)][DBLP ] CP, 2005, pp:762-766 [Conf ] Michael C. Horsch , William S. Havens An Empirical Study of Probabilistic Arc Consistency. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:525-530 [Conf ] William S. Havens A Procedural Model of Recognition. [Citation Graph (0, 0)][DBLP ] IJCAI, 1977, pp:264- [Conf ] William S. Havens , Paul Stephen Rehfuss Platypus: A Constraint-Based Reasoning System. [Citation Graph (0, 0)][DBLP ] IJCAI, 1989, pp:48-53 [Conf ] Alan K. Mackworth , William S. Havens Structuring Domain Knowledge For Visual Perception. [Citation Graph (0, 0)][DBLP ] IJCAI, 1981, pp:625-627 [Conf ] Russell Ovans , William S. Havens Intelligent mediation: an architecture for the real-time allocation of interface resources. [Citation Graph (0, 0)][DBLP ] Intelligent User Interfaces, 1993, pp:55-61 [Conf ] William S. Havens The Playtypus Expert System Shell. [Citation Graph (0, 0)][DBLP ] KBCS, 1989, pp:105-119 [Conf ] William S. Havens , Daya Ram Gaur , Russell Ovans An Architecture for Building Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] SCAI, 1995, pp:416-420 [Conf ] W. Ken Jackson , William S. Havens Committing to User Choices in Mixed Initiative CSPs. [Citation Graph (0, 0)][DBLP ] SCAI, 1995, pp:239-248 [Conf ] Michael C. Horsch , William S. Havens Probabilistic Arc Consistency: A Connection between Constraint Reasoning and Probabilistic Reasoning. [Citation Graph (0, 0)][DBLP ] UAI, 2000, pp:282-290 [Conf ] Sang Mah , Thomas W. Calvert , William S. Havens A Constraint-Based Reasoning Framework for Behavioural Animation. [Citation Graph (0, 0)][DBLP ] Comput. Graph. Forum, 1994, v:13, n:5, pp:315-324 [Journal ] Greg Sidebottom , William S. Havens Hierarchical Arc Consistency for Disjoint Real Intervals in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] Computational Intelligence, 1992, v:8, n:, pp:601-623 [Journal ] William S. Havens , Alan K. Mackworth Representing Knowledge of the Visual World. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 1983, v:16, n:10, pp:90-96 [Journal ] Greg Sidebottom , William S. Havens Nicolog: A Simple Yet Powerful cc(FD) Language. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1996, v:17, n:3, pp:371-403 [Journal ] Jan A. Mulder , Alan K. Mackworth , William S. Havens Knowledge Structuring and Constraint Satisfaction: The Mapsee Approach. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Pattern Anal. Mach. Intell., 1988, v:10, n:6, pp:866-879 [Journal ] Probabilistic Nogood Store as a Heuristic. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.005secs