|
|
| Publication | BibTeX | Download |
|
Toby Walsh: Stochastic Constraint Programming in ECAI, 2002-01-01.
|
BibTeX |
PDF |
PS |
|
Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Matrix Modelling: Exploiting Common Patterns in Constraint Programming in Proceedings of the International Workshop on Reformulating Constraint Satisfaction Problems, 2002-01-01.
|
BibTeX |
PDF |
PS |
|
Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh: Towards Model Reformulation at Multiple Levels of Abstraction in Proceedings of the International Workshop on Reformulating Constraint Satisfaction Problems, 2002-01-01.
|
BibTeX |
PDF |
PS |
|
Zeynep Kiziltan, Toby Walsh: Constraint Programming with Multisets in Proceedings of the 2nd International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon-02), 2002-01-01.
|
BibTeX |
PDF |
PS |
|
Toby Walsh: The Interface between P and NP: COL, XOR, NAE, 1-in-k, and Horn SAT in AAAI, 2002-01-01.
|
BibTeX |
PDF |
PS |
|
Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Global Constraints for Lexicographic Orderings in CP 2002, 2002-01-01.
|
BibTeX |
|
|
|
Fahiem Bacchus, Xinguang Chen, Peter van Beek, Toby Walsh: Binary vs. Non-Binary Constraints. Artificial Intelligence, vol. 140, num 1-2, 2002-01-01, pp 1-37.
|
BibTeX |
PDF |
PS |
|
John Slaney, Toby Walsh: Phase Transition Behavior: from Decision to Optimization in SAT 2002 conference, 2002-01-01.
|
BibTeX |
PDF |
PS |
|
Lyndon Drake, Alan M. Frisch, Toby Walsh: Adding resolution to the DPLL procedure for satisfiability in SAT 2002 conference, 2002-01-01.
|
BibTeX |
PDF |
PS |
|
Brahim Hnich, Zeynep Kiziltan, Toby Walsh: Modelling a Balanced Academic Curriculum Problem in CP-AI-OR-02 Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2002-01-01.
|
BibTeX |
PDF |
PS |
|
Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh : Breaking Row and Column Symmetries in Matrix Models in CP 2002, 2002-01-01.
|
BibTeX |
PDF |
PS |
|
Alan M. Frisch, Daniel Sheridan, Toby Walsh: A Fixpoint Based Encoding for Bounded Model Checking in FMCAD 2002: the 4th International Conference on Formal Methods in Computer-Aided Design , 2002-01-01.
|
BibTeX |
PDF |
PS |
|
S. Prestwich, F. Rossi, K. B. Venable, T. Walsh: Constraint-based Preferential Optimization in Twentieth National Conference on Artificial Intelligence, 2005-01-01.
|
BibTeX |
PDF |
|
|
Francesca Rossi, K.B. Venable, Toby Walsh: CP-networks: semantics, complexity, approximations and extensions in Proceedings of the 4th International Workshop on Soft Constraints (Soft-02), 2002-01-01.
|
BibTeX |
PDF |
PS |
|
Toby Walsh: 2+p-COL in Proceedings of the Computational Symposium on Graph Coloring and its Generalizations, 2002-01-01.
|
BibTeX |
PDF |
PS |
|
Toby Walsh: Stochastic OPL in Proceedings of the Workshop on Modelling and Solving with Constraints, 2002-01-01.
|
BibTeX |
PDF |
PS |
|
Alan M. Frisch, Ian Miguel, Toby Walsh: CGRASS: A System for Transforming Constraint Satisfaction Problems in Proceedings of the ERCIM/CologNet Workshop on Constraint Solving and CLP, 2002-01-01.
|
BibTeX |
PDF |
PS |
|
L. Drake, A.M. Frisch, I. Gent, T. Walsh : Automatically Reformulating SAT Encodings of CSPs in Proceedings of the International Workshop on Reformulating Constraint Satisfaction Problems, 2002-01-01.
|
BibTeX |
PDF |
PS |
|
Carmel Domshlak, Francesca Rossi, Brent Venable, Toby Walsh: Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques in Proceedings of IJCAI 2003, 2003-01-01.
|
BibTeX |
PDF |
PS |
|
Alan M. Frisch, Ian Miguel, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: Multiset Ordering Constraint in Proceedings of IJCAI-2003, 2003-01-01.
|
BibTeX |
PDF |
PS |
|
Suresh Manandhar, Armagan Tarim, Toby Walsh: Scenario-based Stochastic Constraint Programming in Proceedings of IJCAI-2003, 2003-01-01.
|
BibTeX |
PDF |
PS |
|
Christian Bessiere, Emmanuel Hebrard and Toby Walsh : Local Consistencies in SAT in Proceedings of the sixth International Conference
on Theory and Applications of Satisfiability Testing, SAT-03, 2003-01-01.
|
BibTeX |
PDF |
PS |
|
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich and Toby Walsh: The Complexity of Global Constraints in Proceedings of The Nineteenth National Conference on Artificial Intelligence, AAAI-04, 2004-01-01.
|
BibTeX |
PDF |
PS |
|
Emmanuel Hebrard, Brahim Hnich and Toby Walsh: Super Solutions in Constraint Programming in Proceedings of the International Conference on Integration of AI and OR Techniques
in Constraint Programming for Combinatorial Optimisation Problems, CP-AI-OR-04, 2004-01-01.
|
BibTeX |
PDF |
PS |
|
Emmanuel Hebrard, Brahim Hnich and Toby Walsh: Robust Solutions for Constraint Satisfaction and Optimization in Proceedings of the sixteenth European Conference on Artificial Intelligence, ECAI-04, 2004-01-01.
|
BibTeX |
PDF |
PS |
|
S. Prestwich, F. Rossi, K. B. Venable, T. Walsh: Constrained CP Nets in Italian Conference on Computational Logic, 2004-01-01.
|
BibTeX |
PDF |
|
|
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich and Toby Walsh: Tractability of Global Constraints in Proceedings of The Tenth International Conference on Principles and Practice of Constraint Programming, CP-04 (short paper), 2004-01-01.
|
BibTeX |
PDF |
PS |
|
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich and Toby Walsh: Disjoint, Partition and Intersection Constraints for Set and Multiset Variables in Proceedings of the Tenth International Conference on Principles and Practice of constraint Programming, CP-04, 2004-01-01.
|
BibTeX |
PDF |
PS |
|
Brahim Hnich, Barbara Smith, and Toby Walsh: Models of Permutation and Injection Problems . Journal of AI Research, vol. 21, 2004-01-01, pp 357-391.
|
BibTeX |
PDF |
|
|
Brahim Hnich, Zeynep Kiziltan, Ian Miguel, and Toby Walsh: Hybrid Modelling for Robust Solving . Annals of Operations Research, vol. 130, 2004-01-01, pp 19-40.
|
BibTeX |
|
|
|
B. Hnich, Z. Kiziltan, and T. Walsh: Combining Symmetry Breaking with Other Constraints: lexicographic ordering with sums in Eighth International Symposium on Artificial Intelligence And Mathematics, 2004-01-01.
|
BibTeX |
|
|
|
Brahim Hnich and Toby Walsh: Proceedings of the Workshop on Modelling and Solving Problems with Constraints , 2004-01-01.
|
BibTeX |
|
|
|
Brahim Hnich and Toby Walsh: Why Channel? Multiple viewpoints for branching heuristics in Proc. of the CP03 Second International Workshop on Modelling and Reformulating Constraint Satisfaction Problems: Towards Systematisation and Automation, 2003-01-01.
|
BibTeX |
|
|
|
B. Hnich, Z. Kiziltan, and T. Walsh: Combining Symmetry Breaking with Other Constraints: lexicographic ordering with sums in Proc. of the CP03 Third International Workshop on Symmetry in Constraint Satisfaction Problems, 2003-01-01.
|
BibTeX |
|
|
|
E. Hebrard, B. Hnich, and T. Walsh: Super CSPs in Proc. of the CP03 Workshop on Online Constraint Solving: Handling Change and Uncertainty, 2003-01-01.
|
BibTeX |
|
|
|
Brahim Hnich and Toby Walsh: Models of Injection Problems in CP02, 2002-01-01.
|
BibTeX |
|
|
|
P. Flener, A.M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, and T. Walsh: Matrix Modelling in Proc. of Formul01, the CP01 Workshop on Modelling and Problem Formulation, 2001-01-01.
|
BibTeX |
|
|
|
P. Flener, A.M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, J. Pearson, and T. Walsh: Symmetry in matrix models in Proc. of SymCon01, the First International Workshop on Symmetry in CSPs, 2001-01-01.
|
BibTeX |
|
|
|
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep kiziltan, and Toby Walsh: Filtering Algorithms for the NValue Constraint in Proceedings of the 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR-05), 2005-01-01.
|
BibTeX |
PDF |
PS |
|
Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith and Toby Walsh: Transforming and Refining Abstract Constraint Specifications in Abstraction, Reformulation and Approximation, 6th International Symposium, Proceedings SARA 2005, 2005-01-01.
|
BibTeX |
PDF |
|
|
C. Domshlak, S. Prestwich, F. Rossi, K. B. Venable, T. Walsh: Hard and Soft Constraints for Reasoning About Qualitative Conditional Preferences. Journal of Heuristics, 2006-01-01
|
BibTeX |
PDF |
|
|
S. Armagan Tarim, Suresh Manadhar, Toby Walsh: Stochastic Constraint Programming: A Scenario-Based Approach. Constraints, vol. 11, num 1, 2006-01-01, pp 53-80.
|
BibTeX |
|
|
|
Emmanuel Hebrard, Brahim Hnich, Barry O'Sullivan, Toby Walsh: Finding Diverse and Similar Solutions in Constraint Programming in Proceedings of AAAI-2005, 2005-01-01.
|
BibTeX |
|
|
|
Krzysztof R. Apt, Francois Fages, Eugene C. Freuder, Barry OSullivan, Francesca Rossi, Toby Walsh: Proceedings of the Joint ERCIM/CologNet Workshop on Constrant Solving and Constraint Logic Programming. Cork Constraint Computation Centre, University College Cork, Ireland, 2002-01-01 .
|
BibTeX |
|
|
|
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh: Among, Common and Disjoint Constraints in Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, 2006-01-01.
|
BibTeX |
PDF |
PS |
|
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh: The RANGE Constraint: Algorithms and implementation in the 3rd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR-06), 2006-01-01.
|
BibTeX |
PDF |
PS |
|
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh: The ROOTS Constraint in Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP-06), 2006-01-01.
|
BibTeX |
PDF |
PS |
|
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh: Filtering Algorithms for the NValue Constraint. Constraint, vol. 11, num 4, 2006-01-01
|
BibTeX |
PDF |
PS |
|
Emmanuel Hebrard, Barry O'Sullivan and Toby Walsh: Distance Constraints in Constraint Satisfaction in Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), 2007-01-01.
|
BibTeX |
|
|
|
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper and Toby Walsh: The Parameterized Complexity of Global Constraints in Proceedings of the 23rd National Conference on Artificial Intelligence (AAAI-08), 2008-01-01.
|
BibTeX |
|
|
|
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh: Slide: A Useful Special Case of the Cardpath Constraint in Proceedings of the 18th European Conference on Artificial Intelligence (ECAI-08), 2008-01-01.
|
BibTeX |
|
|
|
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich and Toby Walsh: The Complexity of Reasoning with Global Constraints. Constraints, 2007-01-01
|
BibTeX |
|
|
|
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh: Range and Roots: Two Common Patterns for Specifying and Propagating Counting and Occurrence Constraints. Artificial Intelligence, 2009-01-01
|
BibTeX |
|
|
|
