Toby Walsh Coauthor index DBLP Vis pubzone.org

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

DBLP keys2009
206no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Marijn Heule, Hans van Maaren, Toby Walsh: Handbook of Satisfiability IOS Press 2009
205Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Manipulation and gender neutrality in stable marriage procedures. AAMAS (1) 2009: 665-672
204Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTyrel Russell, Toby Walsh: Manipulating Tournaments in Cup and Round Robin Competitions. ADT 2009: 26-37
203Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pilotto, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Compact Preference Representation in Stable Marriage Problems. ADT 2009: 390-401
202Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh: Restricted Global Grammar Constraints. CP 2009: 501-508
201Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Katsirelos, Nina Narodytska, Toby Walsh: Reformulating Global Grammar Constraints. CPAIOR 2009: 132-147
200Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToby Walsh: Where Are the Really Hard Manipulation Problems? The Phase Transition in Manipulating the Veto Rule. IJCAI 2009: 324-329
199Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh: Circuit Complexity and Decompositions of Global Constraints. IJCAI 2009: 412-418
198Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Decompositions of All Different, Global Cardinality and Related Constraints. IJCAI 2009: 419-424
197Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShai Haim, Toby Walsh: Restart Strategy Selection Using Machine Learning Techniques. SAT 2009: 312-325
196Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian 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)
195Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Filtering algorithms for the multiset ordering constraint. Artif. Intell. 173(2): 299-328 (2009)
194Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian 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)
193Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Filtering Algorithms for the Multiset Ordering Constraint CoRR abs/0903.0460: (2009)
192Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToby Walsh: Breaking Value Symmetry CoRR abs/0903.0465: (2009)
191Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: The Parameterized Complexity of Global Constraints CoRR abs/0903.0467: (2009)
190Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaude-Guy Quimper, Toby Walsh: Decompositions of Grammar Constraints CoRR abs/0903.0470: (2009)
189Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: SLIDE: A Useful Special Case of the CARDPATH Constraint CoRR abs/0903.0471: (2009)
188Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Katsirelos, Nina Narodytska, Toby Walsh: Reformulating Global Grammar Constraints CoRR abs/0903.0475: (2009)
187Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Katsirelos, Nina Narodytska, Toby Walsh: Combining Symmetry Breaking and Global Constraints CoRR abs/0903.0479: (2009)
186Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShai Haim, Toby Walsh: Online Estimation of SAT Solving Runtime CoRR abs/0903.0695: (2009)
185Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToby Walsh: Symmetry Breaking Using Value Precedence CoRR abs/0903.1136: (2009)
184Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToby Walsh: Complexity of Terminating Preference Elicitation CoRR abs/0903.1137: (2009)
183Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh: The Complexity of Reasoning with Global Constraints CoRR abs/0903.1139: (2009)
182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToby Walsh: Breaking Value Symmetry CoRR abs/0903.1146: (2009)
181Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYasuhiko Takenaga, Toby Walsh: Tetravex is NP-complete CoRR abs/0903.1147: (2009)
180Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmagan Tarim, Suresh Manandhar, Toby Walsh: Stochastic Constraint Programming: A Scenario-Based Approach CoRR abs/0903.1150: (2009)
179Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToby Walsh: Stochastic Constraint Programming CoRR abs/0903.1152: (2009)
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToby Walsh: Where are the really hard manipulation problems? The phase transition in manipulating the veto rule CoRR abs/0905.3720: (2009)
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Decompositions of All Different, Global Cardinality and Related Constraints CoRR abs/0905.3755: (2009)
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh: Circuit Complexity and Decompositions of Global Constraints CoRR abs/0905.3757: (2009)
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuresh Manandhar, Armagan Tarim, Toby Walsh: Scenario-based Stochastic Constraint Programming CoRR abs/0905.3763: (2009)
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarmel 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)
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh: Multiset Ordering Constraints CoRR abs/0905.3769: (2009)
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh: Restricted Global Grammar Constraints CoRR abs/0906.5233: (2009)
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShai Haim, Toby Walsh: Restart Strategy Selection using Machine Learning Techniques CoRR abs/0907.5032: (2009)
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShai Haim, Toby Walsh: Online Search Cost Estimation for SAT Solvers CoRR abs/0907.5033: (2009)
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Decomposition of the NVALUE constraint CoRR abs/0909.3273: (2009)
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Katsirelos, Toby Walsh: Symmetries of Symmetry Breaking Constraints CoRR abs/0909.3276: (2009)
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Manipulation and gender neutrality in stable marriage procedures CoRR abs/0909.4437: (2009)
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria 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)
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMirco 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)
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Flow-Based Propagators for the SEQUENCE and Related Global Constraints CoRR abs/0909.4452: (2009)
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Katsirelos, Nina Narodytska, Toby Walsh: The Weighted CFG Constraint CoRR abs/0909.4456: (2009)
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Katsirelos, Nina Narodytska, Toby Walsh: Breaking Generator Symmetry CoRR abs/0909.5099: (2009)
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTyrel Russell, Toby Walsh: Manipulating Tournaments in Cup and Round Robin Competitions CoRR abs/0911.1582: (2009)
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToby Walsh: Manipulability of Single Transferable Vote CoRR abs/0911.3708: (2009)
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Aggregating Partially Ordered Preferences. J. Log. Comput. 19(3): 475-502 (2009)
2008
158no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaude-Guy Quimper, Toby Walsh: Decompositions of Grammar Constraints. AAAI 2008: 1567-1570
157no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToby Walsh: Breaking Value Symmetry. AAAI 2008: 1585-1588
156no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh: The Parameterized Complexity of Global Constraints. AAAI 2008: 235-240
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToby Walsh: Complexity of terminating preference elicitation. AAMAS (2) 2008: 967-974
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Flow-Based Propagators for the SEQUENCE and Related Global Constraints. CP 2008: 159-174
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMirco 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
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Katsirelos, Nina Narodytska, Toby Walsh: The Weighted CfgConstraint. CPAIOR 2008: 323-327
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Katsirelos, Nina Narodytska, Toby Walsh: Combining Symmetry Breaking and Global Constraints. CSCLP 2008: 84-98
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: SLIDE: A Useful Special Case of the CARDPATH Constraint. ECAI 2008: 475-479
149no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria 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
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShai Haim, Toby Walsh: Online Estimation of SAT Solving Runtime. SAT 2008: 133-138
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Bessiere, Kostas Stergiou, Toby Walsh: Domain filtering consistencies for non-binary constraints. Artif. Intell. 172(6-7): 800-822 (2008)
2007
146no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToby Walsh: Uncertainty in Preference Elicitation and Aggregation. AAAI 2007: 3-8
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh: Encodings of the Sequence Constraint. CP 2007: 210-224
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Katsirelos, Toby Walsh: A Compression Algorithm for Large Arity Extensional Constraints. CP 2007: 379-393
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, J. Y. K. Yip: Breaking Symmetry of Interchangeable Variables and Values. CP 2007: 423-437
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaude-Guy Quimper, Toby Walsh: Decomposing Global Grammar Constraints. CP 2007: 590-604
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToby Walsh: Breaking Value Symmetry. CP 2007: 880-887
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Hebrard, Barry O'Sullivan, Toby Walsh: Distance Constraints in Constraint Satisfaction. IJCAI 2007: 106-111
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJérôme Lang, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Winner Determination in Sequential Majority Voting. IJCAI 2007: 1372-1377
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Incompleteness and Incomparability in Preference Aggregation. IJCAI 2007: 1464-1469
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNina Narodytska, Toby Walsh: Constraint and Variable Ordering Heuristics for Compiling Configuration Problems. IJCAI 2007: 149-154
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh: Reformulating Global Constraints: The Slideand RegularConstraints. SARA 2007: 80-92
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh: The Complexity of Reasoning with Global Constraints. Constraints 12(2): 239-259 (2007)
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten 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
133no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh: Estimating Search Tree Size. AAAI 2006
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Strategic voting when aggregating partially ordered preferences. AAMAS 2006: 685-687
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToby Walsh: Symmetry Breaking. Australian Conference on Artificial Intelligence 2006: 7-8
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToby Walsh: General Symmetry Breaking Constraints. CP 2006: 650-664
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: The ROOTS Constraint. CP 2006: 75-90
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaude-Guy Quimper, Toby Walsh: Global Grammar Constraints. CP 2006: 751-755
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: The Range Constraint: Algorithms and Implementation. CPAIOR 2006: 59-73
126no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKostas Stergiou, Toby Walsh: Inverse Consistencies for Non-Binary Constraints. ECAI 2006: 153-157
125no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToby Walsh: Symmetry Breaking Using Value Precedence. ECAI 2006: 168-
124no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Computing Possible and Necessary Winners from Incomplete Partially-Ordered Preferences. ECAI 2006: 767-768
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Propagation algorithms for lexicographic ordering constraints. Artif. Intell. 170(10): 803-834 (2006)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmagan Tarim, Suresh Manandhar, Toby Walsh: Stochastic Constraint Programming: A Scenario-Based Approach. Constraints 11(1): 53-80 (2006)
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: Filtering Algorithms for the NValueConstraint. Constraints 11(4): 271-293 (2006)
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYasuhiko Takenaga, Toby Walsh: Tetravex is NP-complete. Inf. Process. Lett. 99(5): 171-174 (2006)
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarmel 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
118no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFahiem Bacchus, Toby Walsh: Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings Springer 2005
117no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh: Backbones and Backdoors in Satisfiability. AAAI 2005: 1368-1373
116no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Hebrard, Brahim Hnich, Barry O'Sullivan, Toby Walsh: Finding Diverse and Similar Solutions in Constraint Programming. AAAI 2005: 372-377
115no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven David Prestwich, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Constraint-Based Preferential Optimization. AAAI 2005: 461-466
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaude-Guy Quimper, Toby Walsh: Beyond Finite Domains: The All Different and Global Cardinality Constraints. CP 2005: 812-816
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Hebrard, Toby Walsh: Improved Algorithm for Finding (a, b)-Super Solutions. CP 2005: 848
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Hebrard, Paul Tyler, Toby Walsh: Computing Super-Schedules. CP 2005: 879-879
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: Filtering Algorithms for the NValue Constraint. CPAIOR 2005: 79-93
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaude-Guy Quimper, Toby Walsh: The All Different and Global Cardinality Constraints on Set, Multiset and Tuple Variables. CSCLP 2005: 1-13
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: Among, Common and Disjoint Constraints. CSCLP 2005: 29-43
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip Kilby, John K. Slaney, Toby Walsh: The Backbone of the Travelling Salesperson. IJCAI 2005: 175-180
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFahiem Bacchus, Toby Walsh: Propagating Logical Combinations of Constraints. IJCAI 2005: 35-40
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: The Range and Roots Constraints: Specifying Counting and Occurrence Problems. IJCAI 2005: 60-65
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh: Transforming and Refining Abstract Constraint Specifications. SARA 2005: 76-91
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Aggregating partially ordered preferences: impossibility and possibility results. TARK 2005: 193-206
101no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesca Rossi, Kristen Brent Venable, Toby Walsh: Aggregating preferences cannot be fair. Intelligenza Artificiale 2(1): 30-38 (2005)
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Giunchiglia, Toby Walsh: Satisfiability in the Year 2005. J. Autom. Reasoning 35(1-3): 1-2 (2005)
2004
99no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Toby Walsh: The Complexity of Global Constraints. AAAI 2004: 112-117
98no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesca Rossi, Kristen Brent Venable, Toby Walsh: mCP Nets: Representing and Reasoning with Preferences of Multiple Agents. AAAI 2004: 729-734
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrahim Hnich, Zeynep Kiziltan, Toby Walsh: Combining Symmetry Breaking with Other Constraints: Lexicographic Ordering with Sums. AMAI 2004
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Toby Walsh: Disjoint, Partition and Intersection Constraints for Set and Multiset Variables. CP 2004: 138-152
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Thiffault, Fahiem Bacchus, Toby Walsh: Solving Non-clausal Formulas with DPLL Search. CP 2004: 663-678
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Toby Walsh: The Tractability of Global Constraints. CP 2004: 716-720
93Electronic Edition