dblp.uni-trier.dewww.uni-trier.de

Toby Walsh Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
203 Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh: Handbook of Satisfiability IOS Press 2009
202EEMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Manipulation and gender neutrality in stable marriage procedures. AAMAS (1) 2009: 665-672
201EETyrel Russell, Toby Walsh: Manipulating Tournaments in Cup and Round Robin Competitions. ADT 2009: 26-37
200EEEnrico Pilotto, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Compact Preference Representation in Stable Marriage Problems. ADT 2009: 390-401
199EEGeorge Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh: Restricted Global Grammar Constraints. CP 2009: 501-508
198EEGeorge Katsirelos, Nina Narodytska, Toby Walsh: Reformulating Global Grammar Constraints. CPAIOR 2009: 132-147
197EEToby Walsh: Where Are the Really Hard Manipulation Problems? The Phase Transition in Manipulating the Veto Rule. IJCAI 2009: 324-329
196EEChristian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh: Circuit Complexity and Decompositions of Global Constraints. IJCAI 2009: 412-418
195EEChristian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Decompositions of All Different, Global Cardinality and Related Constraints. IJCAI 2009: 419-424
194EEShai Haim, Toby Walsh: Restart Strategy Selection Using Machine Learning Techniques. SAT 2009: 312-325
193EEChristian 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)
192EEAlan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Filtering algorithms for the multiset ordering constraint. Artif. Intell. 173(2): 299-328 (2009)
191EEChristian 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)
190EEAlan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Filtering Algorithms for the Multiset Ordering Constraint CoRR abs/0903.0460: (2009)
189EEToby Walsh: Breaking Value Symmetry CoRR abs/0903.0465: (2009)
188EEChristian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: The Parameterized Complexity of Global Constraints CoRR abs/0903.0467: (2009)
187EEClaude-Guy Quimper, Toby Walsh: Decompositions of Grammar Constraints CoRR abs/0903.0470: (2009)
186EEChristian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: SLIDE: A Useful Special Case of the CARDPATH Constraint CoRR abs/0903.0471: (2009)
185EEGeorge Katsirelos, Nina Narodytska, Toby Walsh: Reformulating Global Grammar Constraints CoRR abs/0903.0475: (2009)
184EEGeorge Katsirelos, Nina Narodytska, Toby Walsh: Combining Symmetry Breaking and Global Constraints CoRR abs/0903.0479: (2009)
183EEShai Haim, Toby Walsh: Online Estimation of SAT Solving Runtime CoRR abs/0903.0695: (2009)
182EEToby Walsh: Symmetry Breaking Using Value Precedence CoRR abs/0903.1136: (2009)
181EEToby Walsh: Complexity of Terminating Preference Elicitation CoRR abs/0903.1137: (2009)
180EEChristian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh: The Complexity of Reasoning with Global Constraints CoRR abs/0903.1139: (2009)
179EEToby Walsh: Breaking Value Symmetry CoRR abs/0903.1146: (2009)
178EEYasuhiko Takenaga, Toby Walsh: Tetravex is NP-complete CoRR abs/0903.1147: (2009)
177EEArmagan Tarim, Suresh Manandhar, Toby Walsh: Stochastic Constraint Programming: A Scenario-Based Approach CoRR abs/0903.1150: (2009)
176EEToby Walsh: Stochastic Constraint Programming CoRR abs/0903.1152: (2009)
175EEToby Walsh: Where are the really hard manipulation problems? The phase transition in manipulating the veto rule CoRR abs/0905.3720: (2009)
174EEChristian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Decompositions of All Different, Global Cardinality and Related Constraints CoRR abs/0905.3755: (2009)
173EEChristian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh: Circuit Complexity and Decompositions of Global Constraints CoRR abs/0905.3757: (2009)
172EESuresh Manandhar, Armagan Tarim, Toby Walsh: Scenario-based Stochastic Constraint Programming CoRR abs/0905.3763: (2009)
171EECarmel 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)
170EEAlan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh: Multiset Ordering Constraints CoRR abs/0905.3769: (2009)
169EEGeorge Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh: Restricted Global Grammar Constraints CoRR abs/0906.5233: (2009)
168EEShai Haim, Toby Walsh: Restart Strategy Selection using Machine Learning Techniques CoRR abs/0907.5032: (2009)
167EEShai Haim, Toby Walsh: Online Search Cost Estimation for SAT Solvers CoRR abs/0907.5033: (2009)
166EEChristian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Decomposition of the NVALUE constraint CoRR abs/0909.3273: (2009)
165EEGeorge Katsirelos, Toby Walsh: Symmetries of Symmetry Breaking Constraints CoRR abs/0909.3276: (2009)
164EEMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Manipulation and gender neutrality in stable marriage procedures CoRR abs/0909.4437: (2009)
163EEMaria 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)
162EEMirco Gelain, Maria Pini, Francesca Rossi, Brent Venable, Toby Walsh: Elicitation strategies for fuzzy constraint problems with missing preferences: algorithms and experimental studies CoRR abs/0909.4446: (2009)
161EEMichael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Flow-Based Propagators for the SEQUENCE and Related Global Constraints CoRR abs/0909.4452: (2009)
160EEGeorge Katsirelos, Nina Narodytska, Toby Walsh: The Weighted CFG Constraint CoRR abs/0909.4456: (2009)
159EEGeorge Katsirelos, Nina Narodytska, Toby Walsh: Breaking Generator Symmetry CoRR abs/0909.5099: (2009)
158EEMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Aggregating Partially Ordered Preferences. J. Log. Comput. 19(3): 475-502 (2009)
2008
157 Claude-Guy Quimper, Toby Walsh: Decompositions of Grammar Constraints. AAAI 2008: 1567-1570
156 Toby Walsh: Breaking Value Symmetry. AAAI 2008: 1585-1588
155 Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh: The Parameterized Complexity of Global Constraints. AAAI 2008: 235-240
154EEToby Walsh: Complexity of terminating preference elicitation. AAMAS (2) 2008: 967-974
153EEMichael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Flow-Based Propagators for the SEQUENCE and Related Global Constraints. CP 2008: 159-174
152EEMirco 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
151EEGeorge Katsirelos, Nina Narodytska, Toby Walsh: The Weighted CfgConstraint. CPAIOR 2008: 323-327
150EEGeorge Katsirelos, Nina Narodytska, Toby Walsh: Combining Symmetry Breaking and Global Constraints. CSCLP 2008: 84-98
149EEChristian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: SLIDE: A Useful Special Case of the CARDPATH Constraint. ECAI 2008: 475-479
148 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
147EEShai Haim, Toby Walsh: Online Estimation of SAT Solving Runtime. SAT 2008: 133-138
146EEChristian Bessiere, Kostas Stergiou, Toby Walsh: Domain filtering consistencies for non-binary constraints. Artif. Intell. 172(6-7): 800-822 (2008)
2007
145 Toby Walsh: Uncertainty in Preference Elicitation and Aggregation. AAAI 2007: 3-8
144EESebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh: Encodings of the Sequence Constraint. CP 2007: 210-224
143EEGeorge Katsirelos, Toby Walsh: A Compression Algorithm for Large Arity Extensional Constraints. CP 2007: 379-393
142EEYat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, J. Y. K. Yip: Breaking Symmetry of Interchangeable Variables and Values. CP 2007: 423-437
141EEClaude-Guy Quimper, Toby Walsh: Decomposing Global Grammar Constraints. CP 2007: 590-604
140EEToby Walsh: Breaking Value Symmetry. CP 2007: 880-887
139EEEmmanuel Hebrard, Barry O'Sullivan, Toby Walsh: Distance Constraints in Constraint Satisfaction. IJCAI 2007: 106-111
138EEJérôme Lang, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Winner Determination in Sequential Majority Voting. IJCAI 2007: 1372-1377
137EEMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Incompleteness and Incomparability in Preference Aggregation. IJCAI 2007: 1464-1469
136EENina Narodytska, Toby Walsh: Constraint and Variable Ordering Heuristics for Compiling Configuration Problems. IJCAI 2007: 149-154
135EEChristian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh: Reformulating Global Constraints: The Slideand RegularConstraints. SARA 2007: 80-92
134EEChristian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh: The Complexity of Reasoning with Global Constraints. Constraints 12(2): 239-259 (2007)
133EECarsten 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
132 Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh: Estimating Search Tree Size. AAAI 2006
131EEMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Strategic voting when aggregating partially ordered preferences. AAMAS 2006: 685-687
130EEToby Walsh: Symmetry Breaking. Australian Conference on Artificial Intelligence 2006: 7-8
129EEToby Walsh: General Symmetry Breaking Constraints. CP 2006: 650-664
128EEChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: The ROOTS Constraint. CP 2006: 75-90
127EEClaude-Guy Quimper, Toby Walsh: Global Grammar Constraints. CP 2006: 751-755
126EEChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: The Range Constraint: Algorithms and Implementation. CPAIOR 2006: 59-73
125 Kostas Stergiou, Toby Walsh: Inverse Consistencies for Non-Binary Constraints. ECAI 2006: 153-157
124 Toby Walsh: Symmetry Breaking Using Value Precedence. ECAI 2006: 168-
123 Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Computing Possible and Necessary Winners from Incomplete Partially-Ordered Preferences. ECAI 2006: 767-768
122EEAlan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Propagation algorithms for lexicographic ordering constraints. Artif. Intell. 170(10): 803-834 (2006)
121EEArmagan Tarim, Suresh Manandhar, Toby Walsh: Stochastic Constraint Programming: A Scenario-Based Approach. Constraints 11(1): 53-80 (2006)
120EEChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: Filtering Algorithms for the NValueConstraint. Constraints 11(4): 271-293 (2006)
119EEYasuhiko Takenaga, Toby Walsh: Tetravex is NP-complete. Inf. Process. Lett. 99(5): 171-174 (2006)
118EECarmel 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
117 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
116 Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh: Backbones and Backdoors in Satisfiability. AAAI 2005: 1368-1373
115 Emmanuel Hebrard, Brahim Hnich, Barry O'Sullivan, Toby Walsh: Finding Diverse and Similar Solutions in Constraint Programming. AAAI 2005: 372-377
114 Steven David Prestwich, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Constraint-Based Preferential Optimization. AAAI 2005: 461-466
113EEPeter 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
112EEClaude-Guy Quimper, Toby Walsh: Beyond Finite Domains: The All Different and Global Cardinality Constraints. CP 2005: 812-816
111EEEmmanuel Hebrard, Toby Walsh: Improved Algorithm for Finding (a, b)-Super Solutions. CP 2005: 848
110EEEmmanuel Hebrard, Paul Tyler, Toby Walsh: Computing Super-Schedules. CP 2005: 879-879
109EEChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: Filtering Algorithms for the NValue Constraint. CPAIOR 2005: 79-93
108EEClaude-Guy Quimper, Toby Walsh: The All Different and Global Cardinality Constraints on Set, Multiset and Tuple Variables. CSCLP 2005: 1-13
107EEChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: Among, Common and Disjoint Constraints. CSCLP 2005: 29-43
106EEPeter 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
105EEPhilip Kilby, John K. Slaney, Toby Walsh: The Backbone of the Travelling Salesperson. IJCAI 2005: 175-180
104EEFahiem Bacchus, Toby Walsh: Propagating Logical Combinations of Constraints. IJCAI 2005: 35-40
103EEChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: The Range and Roots Constraints: Specifying Counting and Occurrence Problems. IJCAI 2005: 60-65
102EEAlan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh: Transforming and Refining Abstract Constraint Specifications. SARA 2005: 76-91
101EEMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Aggregating partially ordered preferences: impossibility and possibility results. TARK 2005: 193-206
100 Francesca Rossi, Kristen Brent Venable, Toby Walsh: Aggregating preferences cannot be fair. Intelligenza Artificiale 2(1): 30-38 (2005)
99EEEnrico Giunchiglia, Toby Walsh: Satisfiability in the Year 2005. J. Autom. Reasoning 35(1-3): 1-2 (2005)
2004
98 Christian Bessière, Emmanuel Hebrard, Brahim Hnich, Toby Walsh: The Complexity of Global Constraints. AAAI 2004: 112-117
97 Francesca Rossi, Kristen Brent Venable, Toby Walsh: mCP Nets: Representing and Reasoning with Preferences of Multiple Agents. AAAI 2004: 729-734
96EEBrahim Hnich, Zeynep Kiziltan, Toby Walsh: Combining Symmetry Breaking with Other Constraints: Lexicographic Ordering with Sums. AMAI 2004
95EEChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Toby Walsh: Disjoint, Partition and Intersection Constraints for Set and Multiset Variables. CP 2004: 138-152
94EEChristian Thiffault, Fahiem Bacchus, Toby Walsh: Solving Non-clausal Formulas with DPLL Search. CP 2004: 663-678
93EEChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Toby Walsh: The Tractability of Global Constraints. CP 2004: 716-720
92EEEmmanuel Hebrard, Brahim Hnich, Toby Walsh: Super Solutions in Constraint Programming. CPAIOR 2004: 157-172
91 Emmanuel Hebrard, Brahim Hnich, Toby Walsh: Robust Solutions for Constraint Satisfaction and Optimization. ECAI 2004: 186-190
90EEChristian Thiffault, Fahiem Bacchus, Toby Walsh: Solving Non-clausal Formulas with DPLL search. SAT 2004
89 Peter van Beek, Toby Walsh: Principles of Constraint Programming and Constraint Processing: A Review. AI Magazine 25(4): 105-106 (2004)
88EEBrahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Hybrid Modelling for Robust Solving. Annals OR 130(1-4): 19-39 (2004)
87EEBrahim Hnich, Toby Walsh, Barbara M. Smith: Dual Modelling of Permutation and Injection Problems. J. Artif. Intell. Res. (JAIR) 21: 357-391 (2004)
2003
86 Georg Gottlob, Toby Walsh: IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003 Morgan Kaufmann 2003
85EEToby Walsh: Constraint Patterns. CP 2003: 53-64
84EEToby Walsh: Consistency and Propagation with Multiset Constraints: A Formal Viewpoint. CP 2003: 724-738
83 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
82 Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh: Multiset Ordering Constraints. IJCAI 2003: 221-226
81 Suresh Manandhar, Armagan Tarim, Toby Walsh: Scenario-based Stochastic Constraint Programming. IJCAI 2003: 257-262
80EEChristian Bessière, Emmanuel Hebrard, Toby Walsh: Local Consistencies in SAT. SAT 2003: 299-314
2002
79 Toby Walsh: The Interface between P and NP: COL, XOR, NAE, 1-in-k, and Horn SAT. AAAI/IAAI 2002: 695-
78EEPierre 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
77EEBrahim Hnich, Toby Walsh: Models of Injection Problems. CP 2002: 781
76EELyndon Drake, Alan M. Frisch, Toby Walsh: Automatic Generation of Implied Clauses for SAT. CP 2002: 783
75EEAlan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Global Constraints for Lexicographic Orderings. CP 2002: 93-108
74 Toby Walsh: Stochastic Constraint Programming. ECAI 2002: 111-115
73EEAlan M. Frisch, Daniel Sheridan, Toby Walsh: A Fixpoint Based Encoding for Bounded Model Checking. FMCAD 2002: 238-255
72EEAlan 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
71 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)
70 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)
69EEFahiem Bacchus, Xinguang Chen, Peter van Beek, Toby Walsh: Binary vs. non-binary constraints. Artif. Intell. 140(1/2): 1-37 (2002)
68 Ian P. Gent, Toby Walsh: Satisfiability in the Year 2000. J. Autom. Reasoning 28(2): 99 (2002)
2001
67 Toby Walsh: Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings Springer 2001
66 John K. Slaney, Toby Walsh: Backbones in Optimization and Approximation. IJCAI 2001: 254-259
65 Toby Walsh: Search on High Degree Graphs. IJCAI 2001: 266-274
64EEToby Walsh: Permutation Problems and Channelling Constraints. LPAR 2001: 377-391
63 Berthe Y. Choueiry, Toby Walsh: Symposium on Abstraction, Reformulation, and Approximation (SARA-2000). AI Magazine 22(1): 137-138 (2001)
62 Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh: Random Constraint Satisfaction: Flaws and Structure. Constraints 6(4): 345-372 (2001)
2000
61 Berthe Y. Choueiry, Toby Walsh: Abstraction, Reformulation, and Approximation, 4th International Symposium, SARA 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings Springer 2000
60 Barbara M. Smith, Kostas Stergiou, Toby Walsh: Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems. AAAI/IAAI 2000: 182-187
59 Simon Colton, Alan Bundy, Toby Walsh: Automatic Invention of Integer Sequences. AAAI/IAAI 2000: 558-563
58EEPatrick Prosser, Kostas Stergiou, Toby Walsh: Singleton Consistencies. CP 2000: 353-368
57EEToby Walsh: SAT v CSP. CP 2000: 441-456
56 Simon Colton, Alan Bundy, Toby Walsh: Automatic Identification of Mathematical Concepts. ICML 2000: 183-190
55EEToby Walsh: Reformulating Propositional Satisfiability as Constraint Satisfaction. SARA 2000: 233-246
54EEIan P. Gent, Kostas Stergiou, Toby Walsh: Decomposable constraints. Artif. Intell. 123(1-2): 133-156 (2000)
53EESimon Colton, Alan Bundy, Toby Walsh: On the notion of interestingness in automated mathematical discovery. Int. J. Hum.-Comput. Stud. 53(3): 351-375 (2000)
52 Ian P. Gent, Toby Walsh: Satisfiability in the Year 2000. J. Autom. Reasoning 24(1/2): 1-3 (2000)
1999
51 Kostas Stergiou, Toby Walsh: Encodings of Non-Binary Constraint Satisfaction Problems. AAAI/IAAI 1999: 163-168
50 Ian P. Gent, Toby Walsh: Beyond NP: the QSAT phase transition. AAAI/IAAI 1999: 648-653
49 Ian P. Gent, Holger H. Hoos, Patrick Prosser, Toby Walsh: Morphing: Combining Structure and Randomness. AAAI/IAAI 1999: 654-660
48 Ian P. Gent, Toby Walsh: CSPLIB: A Benchmark Library for Constraints. CP 1999: 480-481
47 Toby Walsh: Search in a Small World. IJCAI 1999: 1172-1177
46 Kostas Stergiou, Toby Walsh: The Difference All-Difference Makes. IJCAI 1999: 414-419
45 Simon Colton, Alan Bundy, Toby Walsh: Automatic Concept Formation in Pure Mathematics. IJCAI 1999: 786-793
44EEIan P. Gent, Kostas Stergiou, Toby Walsh: Decomposable Constraints. New Trends in Constraints 1999: 134-149
43EEIan P. Gent, Toby Walsh: Paul R. Cohen's Empirical Methods for Artificial Intelligence. Artif. Intell. 113(1-2): 285-290 (1999)
1998
42 Toby Walsh: The Constrainedness Knife-Edge. AAAI/IAAI 1998: 406-411
41EEEwan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh: Random Constraint Satisfaction: Theory Meets Practice. CP 1998: 325-339
40 Pedro Meseguer, Toby Walsh: Interleaved and Discrepancy Based Search. ECAI 1998: 239-243
39 Toby Walsh: Empirical Methods in AI. AI Magazine 19(2): 121-124 (1998)
38EEJeremy 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)
1997
37 Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh: The Scaling of Search Cost. AAAI/IAAI 1997: 315-320
36 Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh: The Constrainedness of Arc Consistency. CP 1997: 327-340
35 Toby Walsh: Depth-bounded Discrepancy Search. IJCAI 1997: 1388-1395
34 Ian P. Gent, Toby Walsh: From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules. IJCAI 1997: 1396-1401
33 Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh: Theories of Abstraction. AI Commun. 10(3-4): 167-176 (1997)
32 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)
1996
31 Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh: The Constrainedness of Search. AAAI/IAAI, Vol. 1 1996: 246-252
30 Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh: Computing Abstraction Hierarchies by Numerical Simulation. AAAI/IAAI, Vol. 1 1996: 523-529
29 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
28 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
27 Fausto Giunchiglia, Roberto Sebastiani, Adolfo Villafiorita, Toby Walsh: A General Purpose Reasoner for Abstraction. Canadian Conference on AI 1996: 323-335
26 Ian P. Gent, Toby Walsh: Phase Transitions and Annealed Theories: Number Partitioning as a Case Study. ECAI 1996: 170-174
25EEIan P. Gent, Toby Walsh: The Satisfiability Constraint Gap. Artif. Intell. 81(1-2): 59-80 (1996)
24EEIan P. Gent, Toby Walsh: The TSP Phase Transition. Artif. Intell. 88(1-2): 349-358 (1996)
23EEAlan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh: Calculating Criticalities. Artif. Intell. 88(1-2): 39-67 (1996)
22EEToby Walsh: A Divergence Critic for Inductive Proof CoRR cs.AI/9604101: (1996)
21 Toby Walsh: A Divergence Critic for Inductive Proof. J. Artif. Intell. Res. (JAIR) 4: 209-235 (1996)
20 David A. Basin, Toby Walsh: A Calculus for and Termination of Rippling. J. Autom. Reasoning 16(1-2): 147-180 (1996)
1995
19 Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh: Scaling Effects in the CSP Phase Transition. CP 1995: 70-87
1994
18EEToby Walsh: A Divergence Critic. CADE 1994: 14-28
17EEDavid A. Basin, Toby Walsh: Termination Orderings for Rippling. CADE 1994: 466-483
16 David A. Basin, Toby Walsh: A Calculus for Rippling. CTRS 1994: 15-30
15 Ian P. Gent, Toby Walsh: The SAT Phase Transition. ECAI 1994: 105-109
14 Tetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David A. Basin: Coloured Rippling: An Extension of a Theorem Proving Heuristic. ECAI 1994: 85-89
13 Ian P. Gent, Toby Walsh: The Hardest Random SAT Problems. KI 1994: 355-366
12 Ian P. Gent, Toby Walsh: Easy Problems are Sometimes Hard. Artif. Intell. 70(1-2): 335-345 (1994)
1993
11 Ian P. Gent, Toby Walsh: Towards an Understanding of Hill-Climbing Procedures for SAT. AAAI 1993: 28-33
10EEToby Walsh: General Purpose Proof Plans. DISCO 1993: 379-383
9 David A. Basin, Toby Walsh: Difference Unification. IJCAI 1993: 116-122
8EEIan P. Gent, Toby Walsh: An Empirical Analysis of Search in GSAT CoRR cs.AI/9309101: (1993)
7 Ian P. Gent, Toby Walsh: An Empirical Analysis of Search in GSAT. J. Artif. Intell. Res. (JAIR) 1: 47-59 (1993)
6 Fausto Giunchiglia, Toby Walsh: The Inevitability of Inconsistent Abstract Spaces. J. Autom. Reasoning 11(1): 23-41 (1993)
1992
5EEDavid A. Basin, Toby Walsh: Difference Matching. CADE 1992: 295-309
4EEToby Walsh, Alex Nunes, Alan Bundy: The Use of Proof Plans to Sum Series. CADE 1992: 325-339
3 Fausto Giunchiglia, Toby Walsh: Tree Subsumption: Reasoning with Outlines. ECAI 1992: 77-81
2 Fausto Giunchiglia, Toby Walsh: A Theory of Abstraction. Artif. Intell. 57(2-3): 323-389 (1992)
1989
1 Fausto Giunchiglia, Toby Walsh: Abstract Theorem Proving. IJCAI 1989: 372-377

Coauthor Index

1Frank D. Anger [70]
2Fahiem Bacchus [69] [90] [94] [104] [117]
3Maria Garcia de la Banda (Maria J. García de la Banda) [106] [113]
4Chitta Baral [70]
5David A. Basin [5] [9] [14] [16] [17] [20]
6Peter van Beek [69] [89]
7Benjamin Bell [71]
8Christian Bessiere (Christian Bessière) [80] [93] [95] [98] [103] [107] [109] [120] [126] [128] [134] [135] [146] [149] [155] [166] [173] [174] [180] [186] [188] [191] [193] [195] [196]
9Armin Biere [203]
10M. Brian Blake [70]
11Paolo Bouquet [70]
12Sebastian Brand [144]
13Michael Brenner [70]
14Alan Bundy [4] [14] [23] [30] [32] [45] [53] [56] [59]
15Lola Cañamero [71]
16Xinguang Chen [69]
17Berthe Y. Choueiry [61] [63]
18David A. Clark [29]
19Simon Colton [45] [53] [56] [59]
20Silvia Coradeschi [71]
21James P. Delgrande [70]
22Deepak Dhungana [133]
23Carmel Domshlak [83] [118] [171]
24Jon Doyle [70]
25Lyndon Drake [76]
26Rino Falcone [70]
27Christian Federspiel [133]
28Pierre Flener [78]
29Jeremy Frank [29] [38]
30Alan M. Frisch [72] [73] [75] [76] [78] [82] [102] [122] [170] [190] [192]
31Mirco Gelain [152] [162]
32Esther Gelle [133]
33Ian P. Gent [7] [8] [11] [12] [13] [15] [19] [24] [25] [26] [28] [29] [31] [34] [36] [37] [38] [43] [44] [48] [49] [50] [52] [54] [62] [68]
34Enrico Giunchiglia [99]
35Fausto Giunchiglia [1] [2] [3] [6] [23] [27] [30] [32] [33]
36Piotr J. Gmytrasiewicz [70]
37Carla P. Gomes [70] [71]
38Georg Gottlob [86]
39Ian Green [14]
40Paul Grünbacher [133]
41Hans W. Guesgen [70]
42Haipeng Guo [70]
43Albert Haag [133]
44Karen Zita Haigh [70]
45Shai Haim [147] [167] [168] [183] [194]
46Emmanuel Hebrard [80] [91] [92] [93] [95] [98] [103] [107] [109] [110] [111] [115] [120] [126] [128] [134] [135] [139] [149] [155] [180] [186] [188] [191] [193]
47Marijn Heule (M. J. H. Heule) [203]
48Henry Hexmoor [70]
49Brahim Hnich [75] [77] [78] [82] [87] [88] [91] [92] [93] [95] [96] [98] [102] [103] [107] [109] [115] [120] [122] [126] [128] [134] [135] [149] [155] [170] [180] [186] [188] [190] [191] [192] [193]
50Holger H. Hoos (Holger Hoos) [49]
51Eric Horvitz [70]
52Nancy Ide [70]
53Ulrich Junker [70] [133]
54George Katsirelos [143] [150] [151] [159] [160] [165] [166] [169] [173] [174] [184] [185] [195] [196] [198] [199]
55Philip Kilby [105] [116] [132]
56Zeynep Kiziltan [75] [78] [82] [88] [96] [103] [107] [109] [120] [122] [126] [128] [135] [149] [155] [170] [186] [188] [190] [191] [192] [193]
57Antonio Krüger [70]
58Koichi Kurumantani [70]
59Jérôme Lang [138]
60Yat Chiu Law [142]
61Jimmy Ho-Man Lee (J. H. M. Lee) [142]
62Klaus Lehner [133]
63Gérard Ligozat (Gerard Ligozat) [70]
64Hans van Maaren [203]
65Ewan MacIntyre [19] [28] [29] [31] [36] [37] [41] [62]
66Michael J. Maher [106] [113] [153] [161]
67Rainer Malaka [70]
68Suresh Manandhar [81] [121] [172] [177]
69Sebastian Maneth [169] [199]
70Kim Marriott [106] [113]
71Sheila A. McIlraith [70]
72Pedro Meseguer [40]
73Ian Miguel [72] [75] [78] [82] [88] [102] [122] [170] [190] [192]
74Nina Narodytska [133] [136] [144] [150] [151] [153] [159] [160] [161] [166] [169] [173] [174] [184] [185] [195] [196] [198] [199]
75Daniel Naus [133]
76Alex Nunes [4]
77Barry O'Sullivan [115] [133] [139]
78Simon Parsons [70]
79Justin Pearson [78]
80Adam Pease [70]
81Enrico Pilotto [200]
82Maria Pini [162]
83Maria Silvia Pini [101] [123] [131] [137] [138] [148] [152] [158] [163] [164] [202]
84Steven David Prestwich [114] [118]
85Patrick Prosser [19] [28] [31] [36] [37] [41] [49] [58] [62]
86Claude-Guy Quimper [108] [112] [127] [135] [141] [144] [153] [155] [157] [161] [166] [174] [187] [195]
87Rick Rabiser [133]
88Francesca Rossi [70] [83] [97] [100] [101] [114] [118] [123] [131] [137] [138] [148] [152] [158] [162] [163] [164] [171] [200] [202]
89Tyrel Russell [201]
90Mihaela Sabin [133]
91Alessandro Saffiotti [71]
92Torsten Schaub [70]
93Roberto Sebastiani [23] [27] [30]
94Daniel Sheridan [73]
95Carsten Sinz [133]
96John K. Slaney [66] [105] [106] [113] [116] [132]
97Bill Smart [70]
98Barbara M. Smith [28] [41] [60] [62] [87] [102]
99Leen-Kiat Soh [70]
100Zoltan Somogyi [106] [113]
101Kostas Stergiou [44] [46] [51] [54] [58] [60] [125] [146]
102Peter J. Stuckey [106] [113] [144]
103Yasuhiko Takenaga [119] [178]
104Armagan Tarim (S. Armagan Tarim) [81] [121] [172] [177]
105Sylvie Thiébaux [116] [132]
106Christian Thiffault [90] [94]
107Neven Tomov [29]
108Costas Tsatsoulis [71]
109Paul Tyler [110]
110Brent Venable [162]
111Kristen Brent Venable (Kristen B. Venable) [83] [97] [100] [101] [114] [118] [123] [131] [137] [138] [148] [152] [158] [163] [164] [171] [200] [202]
112Adolfo Villafiorita [27] [32] [33]
113Mark Wallace [106] [113]
114Christopher A. Welty [70]
115Justin Yip (J. Y. K. Yip) [142]
116Tetsuya Yoshida [14]
117Marie desJardins [70]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)