 | 2009 |
|---|
| 206 |       | Armin Biere,
Marijn Heule,
Hans van Maaren,
Toby Walsh:
Handbook of Satisfiability
IOS Press 2009 |
| 205 |  | Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Manipulation and gender neutrality in stable marriage procedures.
AAMAS (1) 2009: 665-672 |
| 204 | | Tyrel Russell,
Toby Walsh:
Manipulating Tournaments in Cup and Round Robin Competitions.
ADT 2009: 26-37 |
| 203 | | Enrico Pilotto,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Compact Preference Representation in Stable Marriage Problems.
ADT 2009: 390-401 |
| 202 | | George Katsirelos,
Sebastian Maneth,
Nina Narodytska,
Toby Walsh:
Restricted Global Grammar Constraints.
CP 2009: 501-508 |
| 201 | | George Katsirelos,
Nina Narodytska,
Toby Walsh:
Reformulating Global Grammar Constraints.
CPAIOR 2009: 132-147 |
| 200 | | Toby Walsh:
Where Are the Really Hard Manipulation Problems? The Phase Transition in Manipulating the Veto Rule.
IJCAI 2009: 324-329 |
| 199 | | Christian Bessiere,
George Katsirelos,
Nina Narodytska,
Toby Walsh:
Circuit Complexity and Decompositions of Global Constraints.
IJCAI 2009: 412-418 |
| 198 | | Christian Bessiere,
George Katsirelos,
Nina Narodytska,
Claude-Guy Quimper,
Toby Walsh:
Decompositions of All Different, Global Cardinality and Related Constraints.
IJCAI 2009: 419-424 |
| 197 | | Shai Haim,
Toby Walsh:
Restart Strategy Selection Using Machine Learning Techniques.
SAT 2009: 312-325 |
| 196 | | Christian Bessiere,
Emmanuel Hebrard,
Brahim Hnich,
Zeynep Kiziltan,
Toby Walsh:
Range and Roots: Two common patterns for specifying and propagating counting and occurrence constraints.
Artif. Intell. 173(11): 1054-1078 (2009) |
| 195 | | Alan M. Frisch,
Brahim Hnich,
Zeynep Kiziltan,
Ian Miguel,
Toby Walsh:
Filtering algorithms for the multiset ordering constraint.
Artif. Intell. 173(2): 299-328 (2009) |
| 194 | | Christian Bessiere,
Emmanuel Hebrard,
Brahim Hnich,
Zeynep Kiziltan,
Toby Walsh:
Range and Roots: Two Common Patterns for Specifying and Propagating Counting and Occurrence Constraints
CoRR abs/0903.0211: (2009) |
| 193 | | Alan M. Frisch,
Brahim Hnich,
Zeynep Kiziltan,
Ian Miguel,
Toby Walsh:
Filtering Algorithms for the Multiset Ordering Constraint
CoRR abs/0903.0460: (2009) |
| 192 | | Toby Walsh:
Breaking Value Symmetry
CoRR abs/0903.0465: (2009) |
| 191 | | Christian Bessiere,
Emmanuel Hebrard,
Brahim Hnich,
Zeynep Kiziltan,
Toby Walsh:
The Parameterized Complexity of Global Constraints
CoRR abs/0903.0467: (2009) |
| 190 | | Claude-Guy Quimper,
Toby Walsh:
Decompositions of Grammar Constraints
CoRR abs/0903.0470: (2009) |
| 189 | | Christian Bessiere,
Emmanuel Hebrard,
Brahim Hnich,
Zeynep Kiziltan,
Toby Walsh:
SLIDE: A Useful Special Case of the CARDPATH Constraint
CoRR abs/0903.0471: (2009) |
| 188 | | George Katsirelos,
Nina Narodytska,
Toby Walsh:
Reformulating Global Grammar Constraints
CoRR abs/0903.0475: (2009) |
| 187 | | George Katsirelos,
Nina Narodytska,
Toby Walsh:
Combining Symmetry Breaking and Global Constraints
CoRR abs/0903.0479: (2009) |
| 186 | | Shai Haim,
Toby Walsh:
Online Estimation of SAT Solving Runtime
CoRR abs/0903.0695: (2009) |
| 185 | | Toby Walsh:
Symmetry Breaking Using Value Precedence
CoRR abs/0903.1136: (2009) |
| 184 | | Toby Walsh:
Complexity of Terminating Preference Elicitation
CoRR abs/0903.1137: (2009) |
| 183 | | Christian Bessiere,
Emmanuel Hebrard,
Brahim Hnich,
Toby Walsh:
The Complexity of Reasoning with Global Constraints
CoRR abs/0903.1139: (2009) |
| 182 | | Toby Walsh:
Breaking Value Symmetry
CoRR abs/0903.1146: (2009) |
| 181 | | Yasuhiko Takenaga,
Toby Walsh:
Tetravex is NP-complete
CoRR abs/0903.1147: (2009) |
| 180 | | Armagan Tarim,
Suresh Manandhar,
Toby Walsh:
Stochastic Constraint Programming: A Scenario-Based Approach
CoRR abs/0903.1150: (2009) |
| 179 | | Toby Walsh:
Stochastic Constraint Programming
CoRR abs/0903.1152: (2009) |
| 178 | | Toby Walsh:
Where are the really hard manipulation problems? The phase transition in manipulating the veto rule
CoRR abs/0905.3720: (2009) |
| 177 | | Christian Bessiere,
George Katsirelos,
Nina Narodytska,
Claude-Guy Quimper,
Toby Walsh:
Decompositions of All Different, Global Cardinality and Related Constraints
CoRR abs/0905.3755: (2009) |
| 176 | | Christian Bessiere,
George Katsirelos,
Nina Narodytska,
Toby Walsh:
Circuit Complexity and Decompositions of Global Constraints
CoRR abs/0905.3757: (2009) |
| 175 | | Suresh Manandhar,
Armagan Tarim,
Toby Walsh:
Scenario-based Stochastic Constraint Programming
CoRR abs/0905.3763: (2009) |
| 174 | | Carmel Domshlak,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques
CoRR abs/0905.3766: (2009) |
| 173 | | Alan M. Frisch,
Ian Miguel,
Zeynep Kiziltan,
Brahim Hnich,
Toby Walsh:
Multiset Ordering Constraints
CoRR abs/0905.3769: (2009) |
| 172 | | George Katsirelos,
Sebastian Maneth,
Nina Narodytska,
Toby Walsh:
Restricted Global Grammar Constraints
CoRR abs/0906.5233: (2009) |
| 171 | | Shai Haim,
Toby Walsh:
Restart Strategy Selection using Machine Learning Techniques
CoRR abs/0907.5032: (2009) |
| 170 | | Shai Haim,
Toby Walsh:
Online Search Cost Estimation for SAT Solvers
CoRR abs/0907.5033: (2009) |
| 169 | | Christian Bessiere,
George Katsirelos,
Nina Narodytska,
Claude-Guy Quimper,
Toby Walsh:
Decomposition of the NVALUE constraint
CoRR abs/0909.3273: (2009) |
| 168 | | George Katsirelos,
Toby Walsh:
Symmetries of Symmetry Breaking Constraints
CoRR abs/0909.3276: (2009) |
| 167 | | Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Manipulation and gender neutrality in stable marriage procedures
CoRR abs/0909.4437: (2009) |
| 166 | | Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Dealing with incomplete agents' preferences and an uncertain agenda in group decision making via sequential majority voting
CoRR abs/0909.4441: (2009) |
| 165 | | Mirco Gelain,
Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Elicitation strategies for fuzzy constraint problems with missing preferences: algorithms and experimental studies
CoRR abs/0909.4446: (2009) |
| 164 | | Michael J. Maher,
Nina Narodytska,
Claude-Guy Quimper,
Toby Walsh:
Flow-Based Propagators for the SEQUENCE and Related Global Constraints
CoRR abs/0909.4452: (2009) |
| 163 | | George Katsirelos,
Nina Narodytska,
Toby Walsh:
The Weighted CFG Constraint
CoRR abs/0909.4456: (2009) |
| 162 | | George Katsirelos,
Nina Narodytska,
Toby Walsh:
Breaking Generator Symmetry
CoRR abs/0909.5099: (2009) |
| 161 | | Tyrel Russell,
Toby Walsh:
Manipulating Tournaments in Cup and Round Robin Competitions
CoRR abs/0911.1582: (2009) |
| 160 | | Toby Walsh:
Manipulability of Single Transferable Vote
CoRR abs/0911.3708: (2009) |
| 159 | | Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Aggregating Partially Ordered Preferences.
J. Log. Comput. 19(3): 475-502 (2009) |
| 2008 |
|---|
| 158 | | Claude-Guy Quimper,
Toby Walsh:
Decompositions of Grammar Constraints.
AAAI 2008: 1567-1570 |
| 157 | | Toby Walsh:
Breaking Value Symmetry.
AAAI 2008: 1585-1588 |
| 156 | | Christian Bessiere,
Emmanuel Hebrard,
Brahim Hnich,
Zeynep Kiziltan,
Claude-Guy Quimper,
Toby Walsh:
The Parameterized Complexity of Global Constraints.
AAAI 2008: 235-240 |
| 155 | | Toby Walsh:
Complexity of terminating preference elicitation.
AAMAS (2) 2008: 967-974 |
| 154 | | Michael J. Maher,
Nina Narodytska,
Claude-Guy Quimper,
Toby Walsh:
Flow-Based Propagators for the SEQUENCE and Related Global Constraints.
CP 2008: 159-174 |
| 153 | | Mirco Gelain,
Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Elicitation Strategies for Fuzzy Constraint Problems with Missing Preferences: Algorithms and Experimental Studies.
CP 2008: 402-417 |
| 152 | | George Katsirelos,
Nina Narodytska,
Toby Walsh:
The Weighted CfgConstraint.
CPAIOR 2008: 323-327 |
| 151 | | George Katsirelos,
Nina Narodytska,
Toby Walsh:
Combining Symmetry Breaking and Global Constraints.
CSCLP 2008: 84-98 |
| 150 | | Christian Bessiere,
Emmanuel Hebrard,
Brahim Hnich,
Zeynep Kiziltan,
Toby Walsh:
SLIDE: A Useful Special Case of the CARDPATH Constraint.
ECAI 2008: 475-479 |
| 149 | | Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Dealing with Incomplete Agents' Preferences and an Uncertain Agenda in Group Decision Making via Sequential Majority Voting.
KR 2008: 571-578 |
| 148 | | Shai Haim,
Toby Walsh:
Online Estimation of SAT Solving Runtime.
SAT 2008: 133-138 |
| 147 | | Christian Bessiere,
Kostas Stergiou,
Toby Walsh:
Domain filtering consistencies for non-binary constraints.
Artif. Intell. 172(6-7): 800-822 (2008) |
| 2007 |
|---|
| 146 | | Toby Walsh:
Uncertainty in Preference Elicitation and Aggregation.
AAAI 2007: 3-8 |
| 145 | | Sebastian Brand,
Nina Narodytska,
Claude-Guy Quimper,
Peter J. Stuckey,
Toby Walsh:
Encodings of the Sequence Constraint.
CP 2007: 210-224 |
| 144 | | George Katsirelos,
Toby Walsh:
A Compression Algorithm for Large Arity Extensional Constraints.
CP 2007: 379-393 |
| 143 | | Yat Chiu Law,
Jimmy Ho-Man Lee,
Toby Walsh,
J. Y. K. Yip:
Breaking Symmetry of Interchangeable Variables and Values.
CP 2007: 423-437 |
| 142 | | Claude-Guy Quimper,
Toby Walsh:
Decomposing Global Grammar Constraints.
CP 2007: 590-604 |
| 141 | | Toby Walsh:
Breaking Value Symmetry.
CP 2007: 880-887 |
| 140 | | Emmanuel Hebrard,
Barry O'Sullivan,
Toby Walsh:
Distance Constraints in Constraint Satisfaction.
IJCAI 2007: 106-111 |
| 139 | | Jérôme Lang,
Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Winner Determination in Sequential Majority Voting.
IJCAI 2007: 1372-1377 |
| 138 | | Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Incompleteness and Incomparability in Preference Aggregation.
IJCAI 2007: 1464-1469 |
| 137 | | Nina Narodytska,
Toby Walsh:
Constraint and Variable Ordering Heuristics for Compiling Configuration Problems.
IJCAI 2007: 149-154 |
| 136 | | Christian Bessiere,
Emmanuel Hebrard,
Brahim Hnich,
Zeynep Kiziltan,
Claude-Guy Quimper,
Toby Walsh:
Reformulating Global Constraints: The Slideand RegularConstraints.
SARA 2007: 80-92 |
| 135 | | Christian Bessiere,
Emmanuel Hebrard,
Brahim Hnich,
Toby Walsh:
The Complexity of Reasoning with Global Constraints.
Constraints 12(2): 239-259 (2007) |
| 134 | | Carsten Sinz,
Albert Haag,
Nina Narodytska,
Toby Walsh,
Esther Gelle,
Mihaela Sabin,
Ulrich Junker,
Barry O'Sullivan,
Rick Rabiser,
Deepak Dhungana,
Paul Grünbacher,
Klaus Lehner,
Christian Federspiel,
Daniel Naus:
Configuration.
IEEE Intelligent Systems 22(1): 78-90 (2007) |
| 2006 |
|---|
| 133 | | Philip Kilby,
John K. Slaney,
Sylvie Thiébaux,
Toby Walsh:
Estimating Search Tree Size.
AAAI 2006 |
| 132 | | Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Strategic voting when aggregating partially ordered preferences.
AAMAS 2006: 685-687 |
| 131 | | Toby Walsh:
Symmetry Breaking.
Australian Conference on Artificial Intelligence 2006: 7-8 |
| 130 | | Toby Walsh:
General Symmetry Breaking Constraints.
CP 2006: 650-664 |
| 129 | | Christian Bessière,
Emmanuel Hebrard,
Brahim Hnich,
Zeynep Kiziltan,
Toby Walsh:
The ROOTS Constraint.
CP 2006: 75-90 |
| 128 | | Claude-Guy Quimper,
Toby Walsh:
Global Grammar Constraints.
CP 2006: 751-755 |
| 127 | | Christian Bessière,
Emmanuel Hebrard,
Brahim Hnich,
Zeynep Kiziltan,
Toby Walsh:
The Range Constraint: Algorithms and Implementation.
CPAIOR 2006: 59-73 |
| 126 | | Kostas Stergiou,
Toby Walsh:
Inverse Consistencies for Non-Binary Constraints.
ECAI 2006: 153-157 |
| 125 | | Toby Walsh:
Symmetry Breaking Using Value Precedence.
ECAI 2006: 168- |
| 124 | | Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Computing Possible and Necessary Winners from Incomplete Partially-Ordered Preferences.
ECAI 2006: 767-768 |
| 123 | | Alan M. Frisch,
Brahim Hnich,
Zeynep Kiziltan,
Ian Miguel,
Toby Walsh:
Propagation algorithms for lexicographic ordering constraints.
Artif. Intell. 170(10): 803-834 (2006) |
| 122 | | Armagan Tarim,
Suresh Manandhar,
Toby Walsh:
Stochastic Constraint Programming: A Scenario-Based Approach.
Constraints 11(1): 53-80 (2006) |
| 121 | | Christian Bessière,
Emmanuel Hebrard,
Brahim Hnich,
Zeynep Kiziltan,
Toby Walsh:
Filtering Algorithms for the NValueConstraint.
Constraints 11(4): 271-293 (2006) |
| 120 | | Yasuhiko Takenaga,
Toby Walsh:
Tetravex is NP-complete.
Inf. Process. Lett. 99(5): 171-174 (2006) |
| 119 | | Carmel Domshlak,
Steven David Prestwich,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Hard and soft constraints for reasoning about qualitative conditional preferences.
J. Heuristics 12(4-5): 263-285 (2006) |
| 2005 |
|---|
| 118 | | Fahiem Bacchus,
Toby Walsh:
Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings
Springer 2005 |
| 117 | | Philip Kilby,
John K. Slaney,
Sylvie Thiébaux,
Toby Walsh:
Backbones and Backdoors in Satisfiability.
AAAI 2005: 1368-1373 |
| 116 | | Emmanuel Hebrard,
Brahim Hnich,
Barry O'Sullivan,
Toby Walsh:
Finding Diverse and Similar Solutions in Constraint Programming.
AAAI 2005: 372-377 |
| 115 | | Steven David Prestwich,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Constraint-Based Preferential Optimization.
AAAI 2005: 461-466 |
| 114 | | Peter J. Stuckey,
Maria J. García de la Banda,
Michael J. Maher,
Kim Marriott,
John K. Slaney,
Zoltan Somogyi,
Mark Wallace,
Toby Walsh:
The G12 Project: Mapping Solver Independent Models to Efficient Solutions.
CP 2005: 13-16 |
| 113 | | Claude-Guy Quimper,
Toby Walsh:
Beyond Finite Domains: The All Different and Global Cardinality Constraints.
CP 2005: 812-816 |
| 112 | | Emmanuel Hebrard,
Toby Walsh:
Improved Algorithm for Finding (a, b)-Super Solutions.
CP 2005: 848 |
| 111 | | Emmanuel Hebrard,
Paul Tyler,
Toby Walsh:
Computing Super-Schedules.
CP 2005: 879-879 |
| 110 | | Christian Bessière,
Emmanuel Hebrard,
Brahim Hnich,
Zeynep Kiziltan,
Toby Walsh:
Filtering Algorithms for the NValue Constraint.
CPAIOR 2005: 79-93 |
| 109 | | Claude-Guy Quimper,
Toby Walsh:
The All Different and Global Cardinality Constraints on Set, Multiset and Tuple Variables.
CSCLP 2005: 1-13 |
| 108 | | Christian Bessière,
Emmanuel Hebrard,
Brahim Hnich,
Zeynep Kiziltan,
Toby Walsh:
Among, Common and Disjoint Constraints.
CSCLP 2005: 29-43 |
| 107 | | Peter J. Stuckey,
Maria J. García de la Banda,
Michael J. Maher,
Kim Marriott,
John K. Slaney,
Zoltan Somogyi,
Mark Wallace,
Toby Walsh:
The G12 Project: Mapping Solver Independent Models to Efficient Solutions.
ICLP 2005: 9-13 |
| 106 | | Philip Kilby,
John K. Slaney,
Toby Walsh:
The Backbone of the Travelling Salesperson.
IJCAI 2005: 175-180 |
| 105 | | Fahiem Bacchus,
Toby Walsh:
Propagating Logical Combinations of Constraints.
IJCAI 2005: 35-40 |
| 104 | | Christian Bessière,
Emmanuel Hebrard,
Brahim Hnich,
Zeynep Kiziltan,
Toby Walsh:
The Range and Roots Constraints: Specifying Counting and Occurrence Problems.
IJCAI 2005: 60-65 |
| 103 | | Alan M. Frisch,
Brahim Hnich,
Ian Miguel,
Barbara M. Smith,
Toby Walsh:
Transforming and Refining Abstract Constraint Specifications.
SARA 2005: 76-91 |
| 102 | | Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Aggregating partially ordered preferences: impossibility and possibility results.
TARK 2005: 193-206 |
| 101 | | Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Aggregating preferences cannot be fair.
Intelligenza Artificiale 2(1): 30-38 (2005) |
| 100 | | Enrico Giunchiglia,
Toby Walsh:
Satisfiability in the Year 2005.
J. Autom. Reasoning 35(1-3): 1-2 (2005) |
| 2004 |
|---|
| 99 | | Christian Bessière,
Emmanuel Hebrard,
Brahim Hnich,
Toby Walsh:
The Complexity of Global Constraints.
AAAI 2004: 112-117 |
| 98 | | Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
mCP Nets: Representing and Reasoning with Preferences of Multiple Agents.
AAAI 2004: 729-734 |
| 97 | | Brahim Hnich,
Zeynep Kiziltan,
Toby Walsh:
Combining Symmetry Breaking with Other Constraints: Lexicographic Ordering with Sums.
AMAI 2004 |
| 96 | | Christian Bessière,
Emmanuel Hebrard,
Brahim Hnich,
Toby Walsh:
Disjoint, Partition and Intersection Constraints for Set and Multiset Variables.
CP 2004: 138-152 |
| 95 | | Christian Thiffault,
Fahiem Bacchus,
Toby Walsh:
Solving Non-clausal Formulas with DPLL Search.
CP 2004: 663-678 |
| 94 | | Christian Bessière,
Emmanuel Hebrard,
Brahim Hnich,
Toby Walsh:
The Tractability of Global Constraints.
CP 2004: 716-720 |
| 93 | |
