- Binary vs. Non-Binary Constraints Fahiem Bacchus
- A Constraint Programming Approach for Instruction Assignment
- UNIVERSITY OF ALBERTA A Theoretical Evaluation of Selected Backtracking Algorithms
- Optimal Basic Block Instruction Scheduling for Multiple-Issue Processors using Constraint Programming
- Mathematically Clinching a Playoff Spot in the NHL and the Effect of Scoring Systems
- On Universal Restart Strategies for Backtracking Search
- Learning Heuristics for Basic Block Instruction Scheduling
- Journal of Arti cial Intelligence Research 4 (1996) 1-18 Submitted 9/95 published 1/96 The Design and Experimental Analysis of Algorithms for
- A Domain Consistency Algorithm for the Stretch Constraint
- June 8, 2007 14:3 WSPC/INSTRUCTION FILE IJAIT International Journal on Artificial Intelligence Tools
- A Computational Study of Problems Tyrel Clinton Russell
- An Efficient Bounds Consistency Algorithm for the Global Cardinality Constraint
- Improved Algorithms for the Global Cardinality Claude-Guy Quimper, Alejandro Lopez-Ortiz, Peter van Beek, and
- ABT, 703, 705, 711, 714 activity, 761, 763765
- An Application of Constraint Programming to Superblock Instruction Scheduling
- Backdoors in Satisfiability Problems presented to the University of Waterloo
- Constraint Tightness versus Global Consistency Peter van Beek
- On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems
- On the Near-Optimality of List Scheduling Heuristics for Local and Global Instruction
- A Framework for Soliciting Clarification from Users During Plan Recognition
- Guiding Real-World SAT Solving with Dynamic Hypergraph Separator Decomposition
- Journal of Artificial Intelligence Research 40 (2011) 729-765 Submitted 11/10; published 04/11 Exploiting Structure in Weighted Model Counting
- Finding Small Backdoors in SAT Instances Zijie Li and Peter van Beek
- Local and Global Relational Consistency Rina Dechter1 and Peter van Beek2
- Temporal Query Processing With Inde nite Information
- Exact and Approximate Reasoning about Temporal Relations Peter van Beek Robin Cohen
- Appears in: Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI), Detroit, Mich., 1989, 1291-1296.
- On Portfolios for Backtracking Search in the Presence of Deadlines Huayue Wu and Peter van Beek
- Journal of Arti cial Intelligence Research 14 (2001) 53-81 Submitted 8/00 published 3/01 Con ict-Directed Backjumping Revisited
- A Theoretical Evaluation of Selected Backtracking Grzegorz Kondrak and Peter van Beek
- CPlan: A Constraint Programming Approach to Planning Peter van Beek and Xinguang Chen
- On the Design of Efficient Video-on-Demand Broadcast Schedules Ailan Hu Ioanis Nikolaidis
- A Heuristic Incremental Modeling Approach to Course Timetabling
- Resolving Plan Ambiguity for Cooperative Response Generation Peter van Beek
- University of Alberta Library Release Form
- Exact and Approximate Reasoning about Qualitative Temporal Relations
- Handbook of Constraint Programming 85 Edited by F. Rossi, P. van Beek and T. Walsh
- Handbook of Constraint Programming Edited by F. Rossi, P. van Beek and T. Walsh
- CP 2004 Program Tenth International Conference on Principles and Practice of
- An Empirical Study of Seeding Manipulations and Their Prevention Tyrel Russell and Peter van Beek
- On the Inherent Level of Local Consistency in Constraint Networks Peter van Beek
- Constraint Tightness and Looseness versus Local and Global Consistency
- Lessons Learned from Modelling the NHL Playoff Qualification Problem
- A Fast and Simple Algorithm for Bounds Consistency of the AllDifferent Constraint
- On the Minimality and Decomposability of Constraint Networks Peter van Beek
- Reasoning about Qualitative Temporal Information
- Constraint Programming Techniques for Optimal Instruction Abid Muslim Malik
- Determining the Number of Games Needed to Guarantee an NHL Playoff Spot
- A fast and simple algorithm for bounds consistency of the alldifferent constraint
- An Investigation of Probabilistic Interpretations of Heuristics in Plan Recognition Peter van Beek
- Learning Instruction Scheduling Heuristics from Optimal Data
- Consistency Propagation for Stretch Constraints Lars Hellsten
- Constraint-based Vehicle Assembly Line Michael E. Bergen1, Peter van Beek1, and Tom Carchrae2
- Randomization and Restart Strategies presented to the University of Waterloo
- May 18, 2008 21:7 WSPC/INSTRUCTION FILE paper International Journal on Artificial Intelligence Tools
- Learning Heuristics for the Superblock Instruction Scheduling Problem
- Exploiting Structure in Backtracking Algorithms for Propositional and Probabilistic Reasoning
- Fast Optimal Instruction Scheduling for Single-issue Processors with Arbitrary Latencies
- On the Minimality and Global Consistency of Row-Convex Constraint Networks
- A Hybrid Constraint Programming and Enumeration Approach for Solving NHL Playoff Qualification and
