Toby Walsh

Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, May H. C. Woo: Multiset variable representations and constraint propagation. Constraints 18(3): 307-343 (2013)

Nina Narodytska, Toby Walsh: An Adaptive Model Restarts Heuristic. CPAIOR 2013: 369-377

Umberto Grandi, Andrea Loreggia, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Restricted Manipulation in Iterative Voting: Convergence and Condorcet Efficiency. SR 2013: 17-24

Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh: Possible and Necessary Winner Problem in Social Polls. CoRR abs/1302.1669 (2013)

Nina Narodytska, Peter Skocovsky, Toby Walsh: Global SPACING Constraint (Technical Report). CoRR abs/1303.6107 (2013)

Serge Gaspers, Thomas Kalinowski, Nina Narodytska, Toby Walsh: Coalitional Manipulation for Schulze's Rule. CoRR abs/1304.0844 (2013)

Thomas Kalinowski, Nina Narodytska, Toby Walsh: A Social Welfare Optimal Sequential Allocation Procedure. CoRR abs/1304.5892 (2013)

Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh: Three Generalizations of the FOCUS Constraint. CoRR abs/1304.5970 (2013)

Nicholas Mattei, Nina Narodytska, Toby Walsh: How hard is it to control an election by breaking ties? CoRR abs/1304.6174 (2013)

Jérôme Lang, Maria Silvia Pini, Francesca Rossi, Domenico Salvagnin, Kristen Brent Venable, Toby Walsh: Winner determination in voting trees with incomplete preferences and weighted votes. Autonomous Agents and Multi-Agent Systems 25(1): 130-157 (2012)

Nick Barnes, Peter Baumgartner, Tibério S. Caetano, Hugh F. Durrant-Whyte, Gerwin Klein, Penelope Sanderson, Abdul Sattar, Peter J. Stuckey, Sylvie Thiébaux, Pascal Van Hentenryck, Toby Walsh: AI@NICTA. AI Magazine 33(3): 115- (2012)

Jessica Davies, Nina Narodytska, Toby Walsh: Eliminating the Weakest Link: Making Manipulation Intractable? AAAI 2012

Toby Walsh: Symmetry Breaking Constraints: Recent Results. AAAI 2012

Toby Walsh, Lirong Xia: Lot-based voting rules. AAMAS 2012: 603-610

Leonid Antsfeld, Daniel Damir Harabor, Philip Kilby, Toby Walsh: TRANSIT Routing on Video Game Maps. AIIDE 2012

Ronald de Haan, Nina Narodytska, Toby Walsh: The RegularGcc Matrix Constraint. Australasian Conference on Artificial Intelligence 2012: 206-217

George Katsirelos, Nina Narodytska, Toby Walsh: The SeqBin Constraint Revisited. CP 2012: 332-347

Domenico Salvagnin, Toby Walsh: A Hybrid MIP/CP Approach for Multi-activity Shift Scheduling. CP 2012: 633-646

Nina Narodytska, Toby Walsh, Lirong Xia: Combining Voting Rules Together. ECAI 2012: 612-617

Christian Drescher, Toby Walsh: Answer Set Solving with Lazy Nogood Generation. ICLP (Technical Communications) 2012: 188-200

Toby Walsh: Exploiting Constraints. ILP 2012: 7-13

Ronald de Haan, Nina Narodytska, Toby Walsh: The RegularGcc Matrix Constraint. CoRR abs/1201.0564 (2012)

Nina Narodytska, Toby Walsh, Lirong Xia: Combining Voting Rules Together. CoRR abs/1203.3051 (2012)

Toby Walsh: Symmetry Breaking Constraints: Recent Results. CoRR abs/1204.3348 (2012)

Jessica Davies, Nina Narodytska, Toby Walsh: Eliminating the Weakest Link: Making Manipulation Intractable? CoRR abs/1204.3918 (2012)

George Katsirelos, Nina Narodytska, Toby Walsh: The SeqBin Constraint Revisited. CoRR abs/1207.1811 (2012)

Francesca Rossi, Kristen Brent Venable, Toby Walsh: A Short Introduction to Preferences: Between Artificial Intelligence and Social Choice. Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers 2011

Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Manipulation complexity and gender neutrality in stable marriage procedures. Autonomous Agents and Multi-Agent Systems 22(1): 183-199 (2011)

Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Incompleteness and incomparability in preference aggregation: Complexity results. Artif. Intell. 175(7-8): 1272-1289 (2011)

Christian Drescher, Oana Tifrea, Toby Walsh: Symmetry-breaking answer set solving. AI Commun. 24(2): 177-194 (2011)

Toby Walsh: Is computational complexity a barrier to manipulation? Ann. Math. Artif. Intell. 62(1-2): 7-26 (2011)

George Katsirelos, Nina Narodytska, Toby Walsh: The weighted Grammar constraint. Annals OR 184(1): 179-207 (2011)

Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou, Toby Walsh: New algorithms for max restricted path consistency. Constraints 16(4): 372-406 (2011)

Toby Walsh: Where Are the Hard Manipulation Problems? J. Artif. Intell. Res. (JAIR) 42: 1-29 (2011)

Ronen I. Brafman, Enrico Pilotto, Francesca Rossi, Domenico Salvagnin, Kristen Brent Venable, Toby Walsh: The Next Best Solution. AAAI 2011

Vincent Conitzer, Toby Walsh, Lirong Xia: Dominating Manipulations in Voting with Partial Information. AAAI 2011

Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh: Complexity of and Algorithms for Borda Manipulation. AAAI 2011

Christian Drescher, Toby Walsh: Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation. AAAI 2011

Yat Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo, Toby Walsh: A Comparison of Lex Bounds for Multiset Variables in Constraint Programming. AAAI 2011

Nina Narodytska, Toby Walsh, Lirong Xia: Manipulation of Nanson's and Baldwin's Rules. AAAI 2011

Toby Walsh: Online Cake Cutting. ADT 2011: 292-305

Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Possible and necessary winners in voting trees: majority graphs vs. profiles. AAMAS 2011: 311-318

Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Procedural fairness in stable marriage problems. AAMAS 2011: 1209-1210

Christian Bessiere, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: The AllDifferent Constraint with Precedences. CPAIOR 2011: 36-52

Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Stability in Matching Problems with Weighted Preferences. ICAART (2) 2011: 45-53

Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: A Local Search Approach to Solve Incomplete Fuzzy CSPs. ICAART (1) 2011: 582-585

Christian Drescher, Toby Walsh: Modelling Grammar Constraints with Answer Set Programming. ICLP (Technical Communications) 2011: 28-39

Christian Drescher, Toby Walsh: Translation-Based Constraint Answer Set Solving. IJCAI 2011: 2596-2601

Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh: Symmetry Breaking for Distributed Multi-Context Systems. LPNMR 2011: 26-39

Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Weights in stable marriage problems increase manipulation opportunities. TARK 2011: 200-204

Toby Walsh (Ed.): IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. IJCAI/AAAI 2011, isbn 978-1-57735-516-8

Christian Bessiere, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: The AllDifferent Constraint with Precedences. CoRR abs/1103.3745 (2011)

Christian Drescher, Toby Walsh: Translation-based Constraint Answer Set Solving. CoRR abs/1104.3927 (2011)

Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh: Symmetry Breaking for Distributed Multi-Context Systems. CoRR abs/1104.3931 (2011)

Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh: Complexity of and Algorithms for Borda Manipulation. CoRR abs/1105.5667 (2011)

Nina Narodytska, Toby Walsh, Lirong Xia: Manipulation of Nanson's and Baldwin's Rules. CoRR abs/1106.5312 (2011)

Toby Walsh: Online Cake Cutting (published version). CoRR abs/1106.5316 (2011)

Vincent Conitzer, Toby Walsh, Lirong Xia: Dominating Manipulations in Voting with Partial Information. CoRR abs/1106.5448 (2011)

Yat Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo, Toby Walsh: A Comparison of Lex Bounds for Multiset Variables in Constraint Programming. CoRR abs/1106.5890 (2011)

Brahim Hnich, Barbara M. Smith, Toby Walsh: Dual Modelling of Permutation and Injection Problems. CoRR abs/1107.0038 (2011)

Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Elicitation strategies for soft constraint problems with missing preferences: Properties, algorithms and experimental studies. Artif. Intell. 174(3-4): 270-294 (2010)

Christian Drescher, Toby Walsh: A translational approach to constraint answer set solving. TPLP 10(4-6): 465-480 (2010)

Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Propagating Conjunctions of AllDifferent Constraints. AAAI 2010

Christian Drescher, Toby Walsh: Reformulation of Global Constraints in Answer Set Programming. Abstraction, Reformulation, and Approximation 2010

Marijn Heule, Toby Walsh: Symmetry in Solutions. AAAI 2010

Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Male optimality and uniqueness in stable marriage problems with partial orders. AAMAS 2010: 1387-1388

Toby Walsh: Is Computational Complexity a Barrier to Manipulation? CLIMA 2010: 1-7

Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou, Toby Walsh: Improving the Performance of maxRPC. CP 2010: 69-83

Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Decomposition of the NValue Constraint. CP 2010: 114-128

George Katsirelos, Nina Narodytska, Toby Walsh: On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry. CP 2010: 305-320

Toby Walsh: An Empirical Study of the Manipulability of Single Transferable Voting. ECAI 2010: 257-262

George Katsirelos, Toby Walsh: Symmetries of Symmetry Breaking Constraints. ECAI 2010: 861-866

Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen B. Venable, Toby Walsh: Local search algorithms on the Stable Marriage Problem: Experimental Studies. ECAI 2010: 1085-1086

Toby Walsh: Parameterized Complexity Results in Symmetry Breaking. IPEC 2010: 4-13

Ronen I. Brafman, Francesca Rossi, Domenico Salvagnin, Kristen Brent Venable, Toby Walsh: Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms. KR 2010

Toby Walsh: Symmetry within and between Solutions. PRICAI 2010: 11-13

Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Local Search for Stable Marriage Problems with Ties and Incomplete Lists. PRICAI 2010: 64-75

Marijn Heule, Toby Walsh: Symmetry within Solutions. CoRR abs/1004.2624 (2010)

Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Propagating Conjunctions of AllDifferent Constraints. CoRR abs/1004.2626 (2010)

Toby Walsh: An Empirical Study of the Manipulability of Single Transferable Voting. CoRR abs/1005.5268 (2010)

George Katsirelos, Toby Walsh: Symmetries of Symmetry Breaking Constraints. CoRR abs/1005.5270 (2010)

George Katsirelos, Nina Narodytska, Toby Walsh: On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry. CoRR abs/1007.0602 (2010)

Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Decomposition of the NVALUE constraint. CoRR abs/1007.0603 (2010)

Toby Walsh: Symmetry within and between solutions. CoRR abs/1007.0604 (2010)

Toby Walsh: Online Cake Cutting. CoRR abs/1007.0614 (2010)

Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Local search for stable marriage problems with ties and incomplete lists. CoRR abs/1007.0637 (2010)

Toby Walsh: Is Computational Complexity a Barrier to Manipulation? CoRR abs/1007.0776 (2010)

Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Local search for stable marriage problems. CoRR abs/1007.0859 (2010)

Christian Drescher, Toby Walsh: A Translational Approach to Constraint Answer Set Solving. CoRR abs/1007.4114 (2010)

Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh: An Empirical Study of Borda Manipulation. CoRR abs/1007.5104 (2010)

Toby Walsh: Where are the hard manipulation problems? CoRR abs/1007.5114 (2010)

Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Stable marriage problems with quantitative preferences. CoRR abs/1007.5120 (2010)

Christian Drescher, Oana Tifrea, Toby Walsh: Symmetry-breaking Answer Set Solving. CoRR abs/1008.1809 (2010)

Christian Drescher, Toby Walsh: Reformulation of Global Constraints in Answer Set Programming. CoRR abs/1008.5029 (2010)

Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou, Toby Walsh: Improving the Performance of maxRPC. CoRR abs/1008.5189 (2010)

Toby Walsh: Parameterized Complexity Results in Symmetry Breaking. CoRR abs/1009.1174 (2010)

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)

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)

Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Aggregating Partially Ordered Preferences. J. Log. Comput. 19(3): 475-502 (2009)

Tyrel Russell, Toby Walsh: Manipulating Tournaments in Cup and Round Robin Competitions. ADT 2009: 26-37

Enrico Pilotto, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Compact Preference Representation in Stable Marriage Problems. ADT 2009: 390-401

Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Manipulation and gender neutrality in stable marriage procedures. AAMAS (1) 2009: 665-672

George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh: Restricted Global Grammar Constraints. CP 2009: 501-508

George Katsirelos, Nina Narodytska, Toby Walsh: Reformulating Global Grammar Constraints. CPAIOR 2009: 132-147

Toby Walsh: Where Are the Really Hard Manipulation Problems? The Phase Transition in Manipulating the Veto Rule. IJCAI 2009: 324-329

Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh: Circuit Complexity and Decompositions of Global Constraints. IJCAI 2009: 412-418

Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Decompositions of All Different, Global Cardinality and Related Constraints. IJCAI 2009: 419-424

Shai Haim, Toby Walsh: Restart Strategy Selection Using Machine Learning Techniques. SAT 2009: 312-325

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)

Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Filtering Algorithms for the Multiset Ordering Constraint. CoRR abs/0903.0460 (2009)

Toby Walsh: Breaking Value Symmetry. CoRR abs/0903.0465 (2009)

Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: The Parameterized Complexity of Global Constraints. CoRR abs/0903.0467 (2009)

Claude-Guy Quimper, Toby Walsh: Decompositions of Grammar Constraints. CoRR abs/0903.0470 (2009)

Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: SLIDE: A Useful Special Case of the CARDPATH Constraint. CoRR abs/0903.0471 (2009)

George Katsirelos, Nina Narodytska, Toby Walsh: Reformulating Global Grammar Constraints. CoRR abs/0903.0475 (2009)

George Katsirelos, Nina Narodytska, Toby Walsh: Combining Symmetry Breaking and Global Constraints. CoRR abs/0903.0479 (2009)

Shai Haim, Toby Walsh: Online Estimation of SAT Solving Runtime. CoRR abs/0903.0695 (2009)

Toby Walsh: Symmetry Breaking Using Value Precedence. CoRR abs/0903.1136 (2009)

Toby Walsh: Complexity of Terminating Preference Elicitation. CoRR abs/0903.1137 (2009)

Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh: The Complexity of Reasoning with Global Constraints. CoRR abs/0903.1139 (2009)

Toby Walsh: Breaking Value Symmetry. CoRR abs/0903.1146 (2009)

Yasuhiko Takenaga, Toby Walsh: Tetravex is NP-complete. CoRR abs/0903.1147 (2009)

Armagan Tarim, Suresh Manandhar, Toby Walsh: Stochastic Constraint Programming: A Scenario-Based Approach. CoRR abs/0903.1150 (2009)

Toby Walsh: Stochastic Constraint Programming. CoRR abs/0903.1152 (2009)

Toby Walsh: Where are the really hard manipulation problems? The phase transition in manipulating the veto rule. CoRR abs/0905.3720 (2009)

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)

Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh: Circuit Complexity and Decompositions of Global Constraints. CoRR abs/0905.3757 (2009)

Suresh Manandhar, Armagan Tarim, Toby Walsh: Scenario-based Stochastic Constraint Programming. CoRR abs/0905.3763 (2009)

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)

Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh: Multiset Ordering Constraints. CoRR abs/0905.3769 (2009)

George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh: Restricted Global Grammar Constraints. CoRR abs/0906.5233 (2009)

Shai Haim, Toby Walsh: Restart Strategy Selection using Machine Learning Techniques. CoRR abs/0907.5032 (2009)

Shai Haim, Toby Walsh: Online Search Cost Estimation for SAT Solvers. CoRR abs/0907.5033 (2009)

Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Decomposition of the NVALUE constraint. CoRR abs/0909.3273 (2009)

George Katsirelos, Toby Walsh: Symmetries of Symmetry Breaking Constraints. CoRR abs/0909.3276 (2009)

Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Manipulation and gender neutrality in stable marriage procedures. CoRR abs/0909.4437 (2009)

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)

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)

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)

George Katsirelos, Nina Narodytska, Toby Walsh: The Weighted CFG Constraint. CoRR abs/0909.4456 (2009)

George Katsirelos, Nina Narodytska, Toby Walsh: Breaking Generator Symmetry. CoRR abs/0909.5099 (2009)

Tyrel Russell, Toby Walsh: Manipulating Tournaments in Cup and Round Robin Competitions. CoRR abs/0911.1582 (2009)

Toby Walsh: Manipulability of Single Transferable Vote. CoRR abs/0911.3708 (2009)

Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh (Eds.): Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications 185, IOS Press 2009, isbn 978-1-58603-929-5

Christian Bessiere, Kostas Stergiou, Toby Walsh: Domain filtering consistencies for non-binary constraints. Artif. Intell. 172(6-7): 800-822 (2008)

Francesca Rossi, Kristen Brent Venable, Toby Walsh: Preferences in Constraint Satisfaction and Optimization. AI Magazine 29(4): 58-68 (2008)

Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh: The Parameterized Complexity of Global Constraints. AAAI 2008: 235-240

Claude-Guy Quimper, Toby Walsh: Decompositions of Grammar Constraints. AAAI 2008: 1567-1570

Toby Walsh: Breaking Value Symmetry. AAAI 2008: 1585-1588

Toby Walsh: Complexity of terminating preference elicitation. AAMAS (2) 2008: 967-974

Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Flow-Based Propagators for the SEQUENCE and Related Global Constraints. CP 2008: 159-174

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

George Katsirelos, Nina Narodytska, Toby Walsh: The Weighted CfgConstraint. CPAIOR 2008: 323-327

George Katsirelos, Nina Narodytska, Toby Walsh: Combining Symmetry Breaking and Global Constraints. CSCLP 2008: 84-98

Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: SLIDE: A Useful Special Case of the CARDPATH Constraint. ECAI 2008: 475-479

Toby Walsh: Complexity Issues in Preference Elicitation and Manipulation. ISAIM 2008

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

Shai Haim, Toby Walsh: Online Estimation of SAT Solving Runtime. SAT 2008: 133-138

Toby Walsh: Representing and Reasoning with Preferences. AI Magazine 28(4): 59-70 (2007)

Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh: The Complexity of Reasoning with Global Constraints. Constraints 12(2): 239-259 (2007)

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)

Toby Walsh: Uncertainty in Preference Elicitation and Aggregation. AAAI 2007: 3-8

Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh: Encodings of the Sequence Constraint. CP 2007: 210-224

George Katsirelos, Toby Walsh: A Compression Algorithm for Large Arity Extensional Constraints. CP 2007: 379-393

Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, J. Y. K. Yip: Breaking Symmetry of Interchangeable Variables and Values. CP 2007: 423-437

Claude-Guy Quimper, Toby Walsh: Decomposing Global Grammar Constraints. CP 2007: 590-604

Toby Walsh: Breaking Value Symmetry. CP 2007: 880-887

Emmanuel Hebrard, Barry O'Sullivan, Toby Walsh: Distance Constraints in Constraint Satisfaction. IJCAI 2007: 106-111

Nina Narodytska, Toby Walsh: Constraint and Variable Ordering Heuristics for Compiling Configuration Problems. IJCAI 2007: 149-154

Jérôme Lang, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Winner Determination in Sequential Majority Voting. IJCAI 2007: 1372-1377

Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Incompleteness and Incomparability in Preference Aggregation. IJCAI 2007: 1464-1469

Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh: Reformulating Global Constraints: The Slideand RegularConstraints. SARA 2007: 80-92

Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Propagation algorithms for lexicographic ordering constraints. Artif. Intell. 170(10): 803-834 (2006)

Armagan Tarim, Suresh Manandhar, Toby Walsh: Stochastic Constraint Programming: A Scenario-Based Approach. Constraints 11(1): 53-80 (2006)

Christian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: Filtering Algorithms for the NValueConstraint. Constraints 11(4): 271-293 (2006)

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)

Yasuhiko Takenaga, Toby Walsh: Tetravex is NP-complete. Inf. Process. Lett. 99(5): 171-174 (2006)

Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh: Estimating Search Tree Size. AAAI 2006: 1014-1019

Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Strategic voting when aggregating partially ordered preferences. AAMAS 2006: 685-687

Toby Walsh: Symmetry Breaking. Australian Conference on Artificial Intelligence 2006: 7-8

Christian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: The ROOTS Constraint. CP 2006: 75-90

Toby Walsh: General Symmetry Breaking Constraints. CP 2006: 650-664

Claude-Guy Quimper, Toby Walsh: Global Grammar Constraints. CP 2006: 751-755

Christian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: The Range Constraint: Algorithms and Implementation. CPAIOR 2006: 59-73

Kostas Stergiou, Toby Walsh: Inverse Consistencies for Non-Binary Constraints. ECAI 2006: 153-157

Toby Walsh: Symmetry Breaking Using Value Precedence. ECAI 2006: 168-

Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Computing Possible and Necessary Winners from Incomplete Partially-Ordered Preferences. ECAI 2006: 767-768

Francesca Rossi, Kristen Brent Venable, Toby Walsh: Aggregating preferences cannot be fair. Intelligenza Artificiale 2(1): 30-38 (2005)

Enrico Giunchiglia, Toby Walsh: Satisfiability in the Year 2005. J. Autom. Reasoning 35(1-3): 1-2 (2005)

Emmanuel Hebrard, Brahim Hnich, Barry O'Sullivan, Toby Walsh: Finding Diverse and Similar Solutions in Constraint Programming. AAAI 2005: 372-377

Steven David Prestwich, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Constraint-Based Preferential Optimization. AAAI 2005: 461-466

Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh: Backbones and Backdoors in Satisfiability. AAAI 2005: 1368-1373

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

Claude-Guy Quimper, Toby Walsh: Beyond Finite Domains: The All Different and Global Cardinality Constraints. CP 2005: 812-816

Emmanuel Hebrard, Toby Walsh: Improved Algorithm for Finding (a, b)-Super Solutions. CP 2005: 848

Emmanuel Hebrard, Paul Tyler, Toby Walsh: Computing Super-Schedules. CP 2005: 879-879

Christian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: Filtering Algorithms for the NValue Constraint. CPAIOR 2005: 79-93

Claude-Guy Quimper, Toby Walsh: The All Different and Global Cardinality Constraints on Set, Multiset and Tuple Variables. CSCLP 2005: 1-13

Christian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: Among, Common and Disjoint Constraints. CSCLP 2005: 29-43

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

Fahiem Bacchus, Toby Walsh: Propagating Logical Combinations of Constraints. IJCAI 2005: 35-40

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

Philip Kilby, John K. Slaney, Toby Walsh: The Backbone of the Travelling Salesperson. IJCAI 2005: 175-180

Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh: Transforming and Refining Abstract Constraint Specifications. SARA 2005: 76-91

Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Aggregating partially ordered preferences: impossibility and possibility results. TARK 2005: 193-206

Fahiem Bacchus, Toby Walsh (Eds.): Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings. Lecture Notes in Computer Science 3569, Springer 2005, isbn 3-540-26276-8

Peter van Beek, Toby Walsh: Principles of Constraint Programming and Constraint Processing: A Review. AI Magazine 25(4): 105-106 (2004)

Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Hybrid Modelling for Robust Solving. Annals OR 130(1-4): 19-39 (2004)

Brahim Hnich, Toby Walsh, Barbara M. Smith: Dual Modelling of Permutation and Injection Problems. J. Artif. Intell. Res. (JAIR) 21: 357-391 (2004)

Christian Bessière, Emmanuel Hebrard, Brahim Hnich, Toby Walsh: The Complexity of Global Constraints. AAAI 2004: 112-117

Francesca Rossi, Kristen Brent Venable, Toby Walsh: mCP Nets: Representing and Reasoning with Preferences of Multiple Agents. AAAI 2004: 729-734

Brahim Hnich, Zeynep Kiziltan, Toby Walsh: Combining Symmetry Breaking with Other Constraints: Lexicographic Ordering with Sums. AMAI 2004

Christian Bessière, Emmanuel Hebrard, Brahim Hnich, Toby Walsh: Disjoint, Partition and Intersection Constraints for Set and Multiset Variables. CP 2004: 138-152

Christian Thiffault, Fahiem Bacchus, Toby Walsh: Solving Non-clausal Formulas with DPLL Search. CP 2004: 663-678

Christian Bessière, Emmanuel Hebrard, Brahim Hnich, Toby Walsh: The Tractability of Global Constraints. CP 2004: 716-720

Emmanuel Hebrard, Brahim Hnich, Toby Walsh: Super Solutions in Constraint Programming. CPAIOR 2004: 157-172

Emmanuel Hebrard, Brahim Hnich, Toby Walsh: Robust Solutions for Constraint Satisfaction and Optimization. ECAI 2004: 186-190

Brahim Hnich, Zeynep Kiziltan, Toby Walsh: Combining Symmetry Breaking with Other Constraints: Lexicographic Ordering with Sums. ISAIM 2004

Christian Thiffault, Fahiem Bacchus, Toby Walsh: Solving Non-clausal Formulas with DPLL search. SAT 2004

Toby Walsh: Constraint Patterns. CP 2003: 53-64

Toby Walsh: Consistency and Propagation with Multiset Constraints: A Formal Viewpoint. CP 2003: 724-738

Carmel Domshlak, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques. IJCAI 2003: 215-220

Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh: Multiset Ordering Constraints. IJCAI 2003: 221-226

Suresh Manandhar, Armagan Tarim, Toby Walsh: Scenario-based Stochastic Constraint Programming. IJCAI 2003: 257-262

Christian Bessière, Emmanuel Hebrard, Toby Walsh: Local Consistencies in SAT. SAT 2003: 299-314

Georg Gottlob, Toby Walsh (Eds.): IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003. Morgan Kaufmann 2003

Fahiem Bacchus, Xinguang Chen, Peter van Beek, Toby Walsh: Binary vs. non-binary constraints. Artif. Intell. 140(1/2): 1-37 (2002)

Benjamin Bell, Lola Cañamero, Silvia Coradeschi, Carla P. Gomes, Alessandro Saffiotti, Costas Tsatsoulis, Toby Walsh: AAAI 2002 Fall Symposium Series Reports. AI Magazine 23(2): 91-94 (2002)

M. Brian Blake, Karen Zita Haigh, Henry Hexmoor, Rino Falcone, Leen-Kiat Soh, Chitta Baral, Sheila A. McIlraith, Piotr J. Gmytrasiewicz, Simon Parsons, Rainer Malaka, Antonio Krüger, Paolo Bouquet, Bill Smart, Koichi Kurumantani, Adam Pease, Michael Brenner, Marie desJardins, Ulrich Junker, James P. Delgrande, Jon Doyle, Francesca Rossi, Torsten Schaub, Carla P. Gomes, Toby Walsh, Haipeng Guo, Eric Horvitz, Nancy Ide, Christopher A. Welty, Frank D. Anger, Hans W. Guesgen, Gérard Ligozat: AAAI 2002 Workshops. AI Magazine 23(4): 113-121 (2002)

Ian P. Gent, Toby Walsh: Satisfiability in the Year 2000. J. Autom. Reasoning 28(2): 99 (2002)

Toby Walsh: The Interface between P and NP: COL, XOR, NAE, 1-in-k, and Horn SAT. AAAI/IAAI 2002: 695-701

Alan M. Frisch, Ian Miguel, Toby Walsh: CGRASS: A System for Transforming Constraint Satisfaction Problems. International Workshop on Constraint Solving and Constraint Logic Programming 2002: 15-30

Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Global Constraints for Lexicographic Orderings. CP 2002: 93-108

Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh: Breaking Row and Column Symmetries in Matrix Models. CP 2002: 462-476

Brahim Hnich, Toby Walsh: Models of Injection Problems. CP 2002: 781

Lyndon Drake, Alan M. Frisch, Toby Walsh: Automatic Generation of Implied Clauses for SAT. CP 2002: 783

Toby Walsh: Stochastic Constraint Programming. ECAI 2002: 111-115

Alan M. Frisch, Daniel Sheridan, Toby Walsh: A Fixpoint Based Encoding for Bounded Model Checking. FMCAD 2002: 238-255

Berthe Y. Choueiry, Toby Walsh: Symposium on Abstraction, Reformulation, and Approximation (SARA-2000). AI Magazine 22(1): 137-138 (2001)

Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh: Random Constraint Satisfaction: Flaws and Structure. Constraints 6(4): 345-372 (2001)

John K. Slaney, Toby Walsh: Backbones in Optimization and Approximation. IJCAI 2001: 254-259

Toby Walsh: Search on High Degree Graphs. IJCAI 2001: 266-274

Toby Walsh: Permutation Problems and Channelling Constraints. LPAR 2001: 377-391

Toby Walsh (Ed.): Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings. Lecture Notes in Computer Science 2239, Springer 2001, isbn 3-540-42863-1

Ian P. Gent, Kostas Stergiou, Toby Walsh: Decomposable constraints. Artif. Intell. 123(1-2): 133-156 (2000)

Simon Colton, Alan Bundy, Toby Walsh: On the notion of interestingness in automated mathematical discovery. Int. J. Hum.-Comput. Stud. 53(3): 351-375 (2000)

Ian P. Gent, Toby Walsh: Satisfiability in the Year 2000. J. Autom. Reasoning 24(1/2): 1-3 (2000)

Barbara M. Smith, Kostas Stergiou, Toby Walsh: Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems. AAAI/IAAI 2000: 182-187

Simon Colton, Alan Bundy, Toby Walsh: Automatic Invention of Integer Sequences. AAAI/IAAI 2000: 558-563

Patrick Prosser, Kostas Stergiou, Toby Walsh: Singleton Consistencies. CP 2000: 353-368

Toby Walsh: SAT v CSP. CP 2000: 441-456

Simon Colton, Alan Bundy, Toby Walsh: Automatic Identification of Mathematical Concepts. ICML 2000: 183-190

Toby Walsh: Reformulating Propositional Satisfiability as Constraint Satisfaction. SARA 2000: 233-246

Berthe Y. Choueiry, Toby Walsh (Eds.): Abstraction, Reformulation, and Approximation, 4th International Symposium, SARA 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings. Lecture Notes in Computer Science 1864, Springer 2000, isbn 3-540-67839-5

Ian P. Gent, Toby Walsh: Paul R. Cohen's Empirical Methods for Artificial Intelligence. Artif. Intell. 113(1-2): 285-290 (1999)

Kostas Stergiou, Toby Walsh: Encodings of Non-Binary Constraint Satisfaction Problems. AAAI/IAAI 1999: 163-168

Ian P. Gent, Toby Walsh: Beyond NP: the QSAT phase transition. AAAI/IAAI 1999: 648-653

Ian P. Gent, Holger H. Hoos, Patrick Prosser, Toby Walsh: Morphing: Combining Structure and Randomness. AAAI/IAAI 1999: 654-660

Ian P. Gent, Kostas Stergiou, Toby Walsh: Decomposable Constraints. New Trends in Constraints 1999: 134-149

Ian P. Gent, Toby Walsh: CSP_LIB: A Benchmark Library for Constraints. CP 1999: 480-481

Kostas Stergiou, Toby Walsh: The Difference All-Difference Makes. IJCAI 1999: 414-419

Simon Colton, Alan Bundy, Toby Walsh: Automatic Concept Formation in Pure Mathematics. IJCAI 1999: 786-793

Toby Walsh: Search in a Small World. IJCAI 1999: 1172-1177

Toby Walsh: Empirical Methods in AI. AI Magazine 19(2): 121-124 (1998)

Ian P. Gent, Toby Walsh: Analysis of Heuristics for Number Partitioning. Computational Intelligence 14(3): 430-451 (1998)

Jeremy Frank, Ian P. Gent, Toby Walsh: Asymptotic and Finite Size Parameters for Phase Transitions: Hamiltonian Circuit as a Case Study. Inf. Process. Lett. 65(5): 241-245 (1998)

Toby Walsh: The Constrainedness Knife-Edge. AAAI/IAAI 1998: 406-411

Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh: Random Constraint Satisfaction: Theory Meets Practice. CP 1998: 325-339

Pedro Meseguer, Toby Walsh: Interleaved and Discrepancy Based Search. ECAI 1998: 239-243

Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh: Theories of Abstraction. AI Commun. 10(3-4): 167-176 (1997)

Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh: Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem. J. Autom. Reasoning 19(3): 319-346 (1997)

Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh: The Scaling of Search Cost. AAAI/IAAI 1997: 315-320

Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh: The Constrainedness of Arc Consistency. CP 1997: 327-340

Toby Walsh: Depth-bounded Discrepancy Search. IJCAI 1997: 1388-1395

Ian P. Gent, Toby Walsh: From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules. IJCAI 1997: 1396-1401

Ian P. Gent, Toby Walsh: The Satisfiability Constraint Gap. Artif. Intell. 81(1-2): 59-80 (1996)

Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh: Calculating Criticalities. Artif. Intell. 88(1-2): 39-67 (1996)

Ian P. Gent, Toby Walsh: The TSP Phase Transition. Artif. Intell. 88(1-2): 349-358 (1996)

Toby Walsh: A Divergence Critic for Inductive Proof. J. Artif. Intell. Res. (JAIR) 4: 209-235 (1996)

David A. Basin, Toby Walsh: A Calculus for and Termination of Rippling. J. Autom. Reasoning 16(1-2): 147-180 (1996)

Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh: The Constrainedness of Search. AAAI/IAAI, Vol. 1 1996: 246-252

Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh: Computing Abstraction Hierarchies by Numerical Simulation. AAAI/IAAI, Vol. 1 1996: 523-529

Fausto Giunchiglia, Roberto Sebastiani, Adolfo Villafiorita, Toby Walsh: A General Purpose Reasoner for Abstraction. Canadian Conference on AI 1996: 323-335

David A. Clark, Jeremy Frank, Ian P. Gent, Ewan MacIntyre, Neven Tomov, Toby Walsh: Local Search and the Number of Solutions. CP 1996: 119-133

Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh: An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem. CP 1996: 179-193

Ian P. Gent, Toby Walsh: Phase Transitions and Annealed Theories: Number Partitioning as a Case Study. ECAI 1996: 170-174

Toby Walsh: A Divergence Critic for Inductive Proof. CoRR cs.AI/9604101 (1996)

Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh: Scaling Effects in the CSP Phase Transition. CP 1995: 70-87

Ian P. Gent, Toby Walsh: Easy Problems are Sometimes Hard. Artif. Intell. 70(1-2): 335-345 (1994)

Toby Walsh: A Divergence Critic. CADE 1994: 14-28

David A. Basin, Toby Walsh: Termination Orderings for Rippling. CADE 1994: 466-483

David A. Basin, Toby Walsh: A Calculus for Rippling. CTRS 1994: 15-30

Tetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David A. Basin: Coloured Rippling: An Extension of a Theorem Proving Heuristic. ECAI 1994: 85-89

Ian P. Gent, Toby Walsh: The SAT Phase Transition. ECAI 1994: 105-109

Ian P. Gent, Toby Walsh: The Hardest Random SAT Problems. KI 1994: 355-366

Ian P. Gent, Toby Walsh: An Empirical Analysis of Search in GSAT. J. Artif. Intell. Res. (JAIR) 1: 47-59 (1993)

Fausto Giunchiglia, Toby Walsh: The Inevitability of Inconsistent Abstract Spaces. J. Autom. Reasoning 11(1): 23-41 (1993)

Ian P. Gent, Toby Walsh: Towards an Understanding of Hill-Climbing Procedures for SAT. AAAI 1993: 28-33

Toby Walsh: General Purpose Proof Plans. DISCO 1993: 379-383

David A. Basin, Toby Walsh: Difference Unification. IJCAI 1993: 116-122

Ian P. Gent, Toby Walsh: An Empirical Analysis of Search in GSAT. CoRR cs.AI/9309101 (1993)

Fausto Giunchiglia, Toby Walsh: A Theory of Abstraction. Artif. Intell. 57(2-3): 323-389 (1992)

David A. Basin, Toby Walsh: Difference Matching. CADE 1992: 295-309

Toby Walsh, Alex Nunes, Alan Bundy: The Use of Proof Plans to Sum Series. CADE 1992: 325-339

Fausto Giunchiglia, Toby Walsh: Tree Subsumption: Reasoning with Outlines. ECAI 1992: 77-81

Fausto Giunchiglia, Toby Walsh: Abstract Theorem Proving. IJCAI 1989: 372-377