Search the dblp DataBase
Toby Walsh :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Christian Bessière , Emmanuel Hebrard , Brahim Hnich , Toby Walsh The Complexity of Global Constraints. [Citation Graph (0, 0)][DBLP ] AAAI, 2004, pp:112-117 [Conf ] Alan Bundy , Fausto Giunchiglia , Roberto Sebastiani , Toby Walsh Computing Abstraction Hierarchies by Numerical Simulation. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, Vol. 1, 1996, pp:523-529 [Conf ] Simon Colton , Alan Bundy , Toby Walsh Automatic Invention of Integer Sequences. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 2000, pp:558-563 [Conf ] Ian P. Gent , Holger H. Hoos , Patrick Prosser , Toby Walsh Morphing: Combining Structure and Randomness. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 1999, pp:654-660 [Conf ] Ian P. Gent , Ewan MacIntyre , Patrick Prosser , Toby Walsh The Constrainedness of Search. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, Vol. 1, 1996, pp:246-252 [Conf ] Ian P. Gent , Ewan MacIntyre , Patrick Prosser , Toby Walsh The Scaling of Search Cost. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 1997, pp:315-320 [Conf ] Ian P. Gent , Toby Walsh Towards an Understanding of Hill-Climbing Procedures for SAT. [Citation Graph (0, 0)][DBLP ] AAAI, 1993, pp:28-33 [Conf ] Ian P. Gent , Toby Walsh Beyond NP: the QSAT phase transition. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 1999, pp:648-653 [Conf ] Emmanuel Hebrard , Brahim Hnich , Barry O'Sullivan , Toby Walsh Finding Diverse and Similar Solutions in Constraint Programming. [Citation Graph (0, 0)][DBLP ] AAAI, 2005, pp:372-377 [Conf ] Philip Kilby , John K. Slaney , Sylvie Thiébaux , Toby Walsh Backbones and Backdoors in Satisfiability. [Citation Graph (0, 0)][DBLP ] AAAI, 2005, pp:1368-1373 [Conf ] Philip Kilby , John K. Slaney , Sylvie Thiébaux , Toby Walsh Estimating Search Tree Size. [Citation Graph (0, 0)][DBLP ] AAAI, 2006, pp:- [Conf ] Steven David Prestwich , Francesca Rossi , Kristen Brent Venable , Toby Walsh Constraint-Based Preferential Optimization. [Citation Graph (0, 0)][DBLP ] AAAI, 2005, pp:461-466 [Conf ] Francesca Rossi , Kristen Brent Venable , Toby Walsh mCP Nets: Representing and Reasoning with Preferences of Multiple Agents. [Citation Graph (0, 0)][DBLP ] AAAI, 2004, pp:729-734 [Conf ] Barbara M. Smith , Kostas Stergiou , Toby Walsh Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 2000, pp:182-187 [Conf ] Kostas Stergiou , Toby Walsh Encodings of Non-Binary Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 1999, pp:163-168 [Conf ] Toby Walsh The Interface between P and NP: COL, XOR, NAE, 1-in-k, and Horn SAT. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 2002, pp:695-0 [Conf ] Toby Walsh The Constrainedness Knife-Edge. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 1998, pp:406-411 [Conf ] Fausto Giunchiglia , Roberto Sebastiani , Adolfo Villafiorita , Toby Walsh A General Purpose Reasoner for Abstraction. [Citation Graph (0, 0)][DBLP ] Canadian Conference on AI, 1996, pp:323-335 [Conf ] Brahim Hnich , Zeynep Kiziltan , Toby Walsh Combining Symmetry Breaking with Other Constraints: Lexicographic Ordering with Sums. [Citation Graph (0, 0)][DBLP ] AMAI, 2004, pp:- [Conf ] Maria Silvia Pini , Francesca Rossi , Kristen Brent Venable , Toby Walsh Strategic voting when aggregating partially ordered preferences. [Citation Graph (0, 0)][DBLP ] AAMAS, 2006, pp:685-687 [Conf ] Toby Walsh Symmetry Breaking. [Citation Graph (0, 0)][DBLP ] Australian Conference on Artificial Intelligence, 2006, pp:7-8 [Conf ] David A. Basin , Toby Walsh Difference Matching. [Citation Graph (0, 0)][DBLP ] CADE, 1992, pp:295-309 [Conf ] David A. Basin , Toby Walsh Termination Orderings for Rippling. [Citation Graph (0, 0)][DBLP ] CADE, 1994, pp:466-483 [Conf ] Toby Walsh A Divergence Critic. [Citation Graph (0, 0)][DBLP ] CADE, 1994, pp:14-28 [Conf ] Toby Walsh , Alex Nunes , Alan Bundy The Use of Proof Plans to Sum Series. [Citation Graph (0, 0)][DBLP ] CADE, 1992, pp:325-339 [Conf ] Alan M. Frisch , Ian Miguel , Toby Walsh CGRASS: A System for Transforming Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] International Workshop on Constraint Solving and Constraint Logic Programming, 2002, pp:15-30 [Conf ] Ian P. Gent , Kostas Stergiou , Toby Walsh Decomposable Constraints. [Citation Graph (0, 0)][DBLP ] New Trends in Constraints, 1999, pp:134-149 [Conf ] Christian Bessière , Emmanuel Hebrard , Brahim Hnich , Zeynep Kiziltan , Toby Walsh The ROOTS Constraint. [Citation Graph (0, 0)][DBLP ] CP, 2006, pp:75-90 [Conf ] Christian Bessière , Emmanuel Hebrard , Brahim Hnich , Toby Walsh Disjoint, Partition and Intersection Constraints for Set and Multiset Variables. [Citation Graph (0, 0)][DBLP ] CP, 2004, pp:138-152 [Conf ] Christian Bessière , Emmanuel Hebrard , Brahim Hnich , Toby Walsh The Tractability of Global Constraints. [Citation Graph (0, 0)][DBLP ] CP, 2004, pp:716-720 [Conf ] Lyndon Drake , Alan M. Frisch , Toby Walsh Automatic Generation of Implied Clauses for SAT. [Citation Graph (0, 0)][DBLP ] CP, 2002, pp:783- [Conf ] David A. Clark , Jeremy Frank , Ian P. Gent , Ewan MacIntyre , Neven Tomov , Toby Walsh Local Search and the Number of Solutions. [Citation Graph (0, 0)][DBLP ] CP, 1996, pp:119-133 [Conf ] Pierre Flener , Alan M. Frisch , Brahim Hnich , Zeynep Kiziltan , Ian Miguel , Justin Pearson , Toby Walsh Breaking Row and Column Symmetries in Matrix Models. [Citation Graph (0, 0)][DBLP ] CP, 2002, pp:462-476 [Conf ] Alan M. Frisch , Brahim Hnich , Zeynep Kiziltan , Ian Miguel , Toby Walsh Global Constraints for Lexicographic Orderings. [Citation Graph (0, 0)][DBLP ] CP, 2002, pp:93-108 [Conf ] Ian P. Gent , Ewan MacIntyre , Patrick Prosser , Toby Walsh Scaling Effects in the CSP Phase Transition. [Citation Graph (0, 0)][DBLP ] CP, 1995, pp:70-87 [Conf ] Ian P. Gent , Ewan MacIntyre , Patrick Prosser , Toby Walsh The Constrainedness of Arc Consistency. [Citation Graph (0, 0)][DBLP ] CP, 1997, pp:327-340 [Conf ] Ian P. Gent , Toby Walsh CSPLIB : A Benchmark Library for Constraints. [Citation Graph (0, 0)][DBLP ] CP, 1999, pp:480-481 [Conf ] Emmanuel Hebrard , Paul Tyler , Toby Walsh Computing Super-Schedules. [Citation Graph (0, 0)][DBLP ] CP, 2005, pp:879-879 [Conf ] Emmanuel Hebrard , Toby Walsh Improved Algorithm for Finding (a, b)-Super Solutions. [Citation Graph (0, 0)][DBLP ] CP, 2005, pp:848- [Conf ] Brahim Hnich , Toby Walsh Models of Injection Problems. [Citation Graph (0, 0)][DBLP ] CP, 2002, pp:781- [Conf ] Ewan MacIntyre , Patrick Prosser , Barbara M. Smith , Toby Walsh Random Constraint Satisfaction: Theory Meets Practice. [Citation Graph (0, 0)][DBLP ] CP, 1998, pp:325-339 [Conf ] Patrick Prosser , Kostas Stergiou , Toby Walsh Singleton Consistencies. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:353-368 [Conf ] Claude-Guy Quimper , Toby Walsh Beyond Finite Domains: The All Different and Global Cardinality Constraints. [Citation Graph (0, 0)][DBLP ] CP, 2005, pp:812-816 [Conf ] Claude-Guy Quimper , Toby Walsh Global Grammar Constraints. [Citation Graph (0, 0)][DBLP ] CP, 2006, pp:751-755 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] CP, 2005, pp:13-16 [Conf ] Christian Thiffault , Fahiem Bacchus , Toby Walsh Solving Non-clausal Formulas with DPLL Search. [Citation Graph (0, 0)][DBLP ] CP, 2004, pp:663-678 [Conf ] Toby Walsh SAT v CSP. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:441-456 [Conf ] Toby Walsh Constraint Patterns. [Citation Graph (0, 0)][DBLP ] CP, 2003, pp:53-64 [Conf ] Toby Walsh Consistency and Propagation with Multiset Constraints: A Formal Viewpoint. [Citation Graph (0, 0)][DBLP ] CP, 2003, pp:724-738 [Conf ] Toby Walsh General Symmetry Breaking Constraints. [Citation Graph (0, 0)][DBLP ] CP, 2006, pp:650-664 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] CP, 1996, pp:179-193 [Conf ] Christian Bessière , Emmanuel Hebrard , Brahim Hnich , Zeynep Kiziltan , Toby Walsh Filtering Algorithms for the NValue Constraint. [Citation Graph (0, 0)][DBLP ] CPAIOR, 2005, pp:79-93 [Conf ] Christian Bessière , Emmanuel Hebrard , Brahim Hnich , Zeynep Kiziltan , Toby Walsh The Range Constraint: Algorithms and Implementation. [Citation Graph (0, 0)][DBLP ] CPAIOR, 2006, pp:59-73 [Conf ] Emmanuel Hebrard , Brahim Hnich , Toby Walsh Super Solutions in Constraint Programming. [Citation Graph (0, 0)][DBLP ] CPAIOR, 2004, pp:157-172 [Conf ] Christian Bessière , Emmanuel Hebrard , Brahim Hnich , Zeynep Kiziltan , Toby Walsh Among, Common and Disjoint Constraints. [Citation Graph (0, 0)][DBLP ] CSCLP, 2005, pp:29-43 [Conf ] Claude-Guy Quimper , Toby Walsh The All Different and Global Cardinality Constraints on Set, Multiset and Tuple Variables. [Citation Graph (0, 0)][DBLP ] CSCLP, 2005, pp:1-13 [Conf ] David A. Basin , Toby Walsh A Calculus for Rippling. [Citation Graph (0, 0)][DBLP ] CTRS, 1994, pp:15-30 [Conf ] Toby Walsh General Purpose Proof Plans. [Citation Graph (0, 0)][DBLP ] DISCO, 1993, pp:379-383 [Conf ] Ian P. Gent , Toby Walsh The SAT Phase Transition. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:105-109 [Conf ] Ian P. Gent , Toby Walsh Phase Transitions and Annealed Theories: Number Partitioning as a Case Study. [Citation Graph (0, 0)][DBLP ] ECAI, 1996, pp:170-174 [Conf ] Fausto Giunchiglia , Toby Walsh Tree Subsumption: Reasoning with Outlines. [Citation Graph (0, 0)][DBLP ] ECAI, 1992, pp:77-81 [Conf ] Emmanuel Hebrard , Brahim Hnich , Toby Walsh Robust Solutions for Constraint Satisfaction and Optimization. [Citation Graph (0, 0)][DBLP ] ECAI, 2004, pp:186-190 [Conf ] Pedro Meseguer , Toby Walsh Interleaved and Discrepancy Based Search. [Citation Graph (0, 0)][DBLP ] ECAI, 1998, pp:239-243 [Conf ] Maria Silvia Pini , Francesca Rossi , Kristen Brent Venable , Toby Walsh Computing Possible and Necessary Winners from Incomplete Partially-Ordered Preferences. [Citation Graph (0, 0)][DBLP ] ECAI, 2006, pp:767-768 [Conf ] Kostas Stergiou , Toby Walsh Inverse Consistencies for Non-Binary Constraints. [Citation Graph (0, 0)][DBLP ] ECAI, 2006, pp:153-157 [Conf ] Toby Walsh Stochastic Constraint Programming. [Citation Graph (0, 0)][DBLP ] ECAI, 2002, pp:111-115 [Conf ] Toby Walsh Symmetry Breaking Using Value Precedence. [Citation Graph (0, 0)][DBLP ] ECAI, 2006, pp:168-0 [Conf ] Tetsuya Yoshida , Alan Bundy , Ian Green , Toby Walsh , David A. Basin Coloured Rippling: An Extension of a Theorem Proving Heuristic. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:85-89 [Conf ] Alan M. Frisch , Daniel Sheridan , Toby Walsh A Fixpoint Based Encoding for Bounded Model Checking. [Citation Graph (0, 0)][DBLP ] FMCAD, 2002, pp:238-255 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ICLP, 2005, pp:9-13 [Conf ] Simon Colton , Alan Bundy , Toby Walsh Automatic Identification of Mathematical Concepts. [Citation Graph (0, 0)][DBLP ] ICML, 2000, pp:183-190 [Conf ] Fahiem Bacchus , Toby Walsh Propagating Logical Combinations of Constraints. [Citation Graph (0, 0)][DBLP ] IJCAI, 2005, pp:35-40 [Conf ] David A. Basin , Toby Walsh Difference Unification. [Citation Graph (0, 0)][DBLP ] IJCAI, 1993, pp:116-122 [Conf ] Christian Bessière , Emmanuel Hebrard , Brahim Hnich , Zeynep Kiziltan , Toby Walsh The Range and Roots Constraints: Specifying Counting and Occurrence Problems. [Citation Graph (0, 0)][DBLP ] IJCAI, 2005, pp:60-65 [Conf ] Simon Colton , Alan Bundy , Toby Walsh Automatic Concept Formation in Pure Mathematics. [Citation Graph (0, 0)][DBLP ] IJCAI, 1999, pp:786-793 [Conf ] Carmel Domshlak , Francesca Rossi , Kristen Brent Venable , Toby Walsh Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques. [Citation Graph (0, 0)][DBLP ] IJCAI, 2003, pp:215-220 [Conf ] Alan M. Frisch , Ian Miguel , Zeynep Kiziltan , Brahim Hnich , Toby Walsh Multiset Ordering Constraints. [Citation Graph (0, 0)][DBLP ] IJCAI, 2003, pp:221-226 [Conf ] Fausto Giunchiglia , Toby Walsh Abstract Theorem Proving. [Citation Graph (0, 0)][DBLP ] IJCAI, 1989, pp:372-377 [Conf ] Ian P. Gent , Toby Walsh From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules. [Citation Graph (0, 0)][DBLP ] IJCAI, 1997, pp:1396-1401 [Conf ] Philip Kilby , John K. Slaney , Toby Walsh The Backbone of the Travelling Salesperson. [Citation Graph (0, 0)][DBLP ] IJCAI, 2005, pp:175-180 [Conf ] Suresh Manandhar , Armagan Tarim , Toby Walsh Scenario-based Stochastic Constraint Programming. [Citation Graph (0, 0)][DBLP ] IJCAI, 2003, pp:257-262 [Conf ] John K. Slaney , Toby Walsh Backbones in Optimization and Approximation. [Citation Graph (0, 0)][DBLP ] IJCAI, 2001, pp:254-259 [Conf ] Kostas Stergiou , Toby Walsh The Difference All-Difference Makes. [Citation Graph (0, 0)][DBLP ] IJCAI, 1999, pp:414-419 [Conf ] Toby Walsh Search on High Degree Graphs. [Citation Graph (0, 0)][DBLP ] IJCAI, 2001, pp:266-274 [Conf ] Toby Walsh Depth-bounded Discrepancy Search. [Citation Graph (0, 0)][DBLP ] IJCAI, 1997, pp:1388-1395 [Conf ] Toby Walsh Search in a Small World. [Citation Graph (0, 0)][DBLP ] IJCAI, 1999, pp:1172-1177 [Conf ] Nina Narodytska , Toby Walsh Constraint and Variable Ordering Heuristics for Compiling Configuration Problems. [Citation Graph (0, 0)][DBLP ] IJCAI, 2007, pp:149-154 [Conf ] Maria Silvia Pini , Francesca Rossi , Kristen Brent Venable , Toby Walsh Incompleteness and Incomparability in Preference Aggregation. [Citation Graph (0, 0)][DBLP ] IJCAI, 2007, pp:1464-1469 [Conf ] Emmanuel Hebrard , Barry O'Sullivan , Toby Walsh Distance Constraints in Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] IJCAI, 2007, pp:106-111 [Conf ] Jérôme Lang , Maria Silvia Pini , Francesca Rossi , Kristen Brent Venable , Toby Walsh Winner Determination in Sequential Majority Voting. [Citation Graph (0, 0)][DBLP ] IJCAI, 2007, pp:1372-1377 [Conf ] Ian P. Gent , Toby Walsh The Hardest Random SAT Problems. [Citation Graph (0, 0)][DBLP ] KI, 1994, pp:355-366 [Conf ] Toby Walsh Permutation Problems and Channelling Constraints. [Citation Graph (0, 0)][DBLP ] LPAR, 2001, pp:377-391 [Conf ] Toby Walsh Reformulating Propositional Satisfiability as Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] SARA, 2000, pp:233-246 [Conf ] Alan M. Frisch , Brahim Hnich , Ian Miguel , Barbara M. Smith , Toby Walsh Transforming and Refining Abstract Constraint Specifications. [Citation Graph (0, 0)][DBLP ] SARA, 2005, pp:76-91 [Conf ] Christian Bessière , Emmanuel Hebrard , Toby Walsh Local Consistencies in SAT. [Citation Graph (0, 0)][DBLP ] SAT, 2003, pp:299-314 [Conf ] Christian Thiffault , Fahiem Bacchus , Toby Walsh Solving Non-clausal Formulas with DPLL search. [Citation Graph (0, 0)][DBLP ] SAT, 2004, pp:- [Conf ] Maria Silvia Pini , Francesca Rossi , Kristen Brent Venable , Toby Walsh Aggregating partially ordered preferences: impossibility and possibility results. [Citation Graph (0, 0)][DBLP ] TARK, 2005, pp:193-206 [Conf ] Fahiem Bacchus , Xinguang Chen , Peter van Beek , Toby Walsh Binary vs. non-binary constraints. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2002, v:140, n:1/2, pp:1-37 [Journal ] Alan Bundy , Fausto Giunchiglia , Roberto Sebastiani , Toby Walsh Calculating Criticalities. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1996, v:88, n:1-2, pp:39-67 [Journal ] Alan M. Frisch , Brahim Hnich , Zeynep Kiziltan , Ian Miguel , Toby Walsh Propagation algorithms for lexicographic ordering constraints. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2006, v:170, n:10, pp:803-834 [Journal ] Ian P. Gent , Kostas Stergiou , Toby Walsh Decomposable constraints. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2000, v:123, n:1-2, pp:133-156 [Journal ] Ian P. Gent , Toby Walsh Easy Problems are Sometimes Hard. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1994, v:70, n:1-2, pp:335-345 [Journal ] Ian P. Gent , Toby Walsh The TSP Phase Transition. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1996, v:88, n:1-2, pp:349-358 [Journal ] Ian P. Gent , Toby Walsh The Satisfiability Constraint Gap. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1996, v:81, n:1-2, pp:59-80 [Journal ] Ian P. Gent , Toby Walsh Paul R. Cohen's Empirical Methods for Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1999, v:113, n:1-2, pp:285-290 [Journal ] Fausto Giunchiglia , Toby Walsh A Theory of Abstraction. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1992, v:57, n:2-3, pp:323-389 [Journal ] Fausto Giunchiglia , Adolfo Villafiorita , Toby Walsh Theories of Abstraction. [Citation Graph (0, 0)][DBLP ] AI Commun., 1997, v:10, n:3-4, pp:167-176 [Journal ] Peter van Beek , Toby Walsh Principles of Constraint Programming and Constraint Processing: A Review. [Citation Graph (0, 0)][DBLP ] AI Magazine, 2004, v:25, n:4, pp:105-106 [Journal ] Benjamin Bell , Lola Cañamero , Silvia Coradeschi , Carla P. Gomes , Alessandro Saffiotti , Costas Tsatsoulis , Toby Walsh AAAI 2002 Fall Symposium Series Reports. [Citation Graph (0, 0)][DBLP ] AI Magazine, 2002, v:23, n:2, pp:91-94 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] AI Magazine, 2002, v:23, n:4, pp:113-121 [Journal ] Berthe Y. Choueiry , Toby Walsh Symposium on Abstraction, Reformulation, and Approximation (SARA-2000). [Citation Graph (0, 0)][DBLP ] AI Magazine, 2001, v:22, n:1, pp:137-138 [Journal ] Toby Walsh Empirical Methods in AI. [Citation Graph (0, 0)][DBLP ] AI Magazine, 1998, v:19, n:2, pp:121-124 [Journal ] Ian P. Gent , Ewan MacIntyre , Patrick Prosser , Barbara M. Smith , Toby Walsh Random Constraint Satisfaction: Flaws and Structure. [Citation Graph (0, 0)][DBLP ] Constraints, 2001, v:6, n:4, pp:345-372 [Journal ] S. Tarim , Suresh Manandhar , Toby Walsh Stochastic Constraint Programming: A Scenario-Based Approach. [Citation Graph (0, 0)][DBLP ] Constraints, 2006, v:11, n:1, pp:53-80 [Journal ] Christian Bessière , Emmanuel Hebrard , Brahim Hnich , Zeynep Kiziltan , Toby Walsh Filtering Algorithms for the NValueConstraint. [Citation Graph (0, 0)][DBLP ] Constraints, 2006, v:11, n:4, pp:271-293 [Journal ] Ian P. Gent , Toby Walsh An Empirical Analysis of Search in GSAT [Citation Graph (0, 0)][DBLP ] CoRR, 1993, v:0, n:, pp:- [Journal ] Toby Walsh A Divergence Critic for Inductive Proof [Citation Graph (0, 0)][DBLP ] CoRR, 1996, v:0, n:, pp:- [Journal ] Carmel Domshlak , Steven David Prestwich , Francesca Rossi , Kristen Brent Venable , Toby Walsh Hard and soft constraints for reasoning about qualitative conditional preferences. [Citation Graph (0, 0)][DBLP ] J. Heuristics, 2006, v:12, n:4-5, pp:263-285 [Journal ] Francesca Rossi , Kristen Brent Venable , Toby Walsh Aggregating preferences cannot be fair. [Citation Graph (0, 0)][DBLP ] Intelligenza Artificiale, 2005, v:2, n:1, pp:30-38 [Journal ] Simon Colton , Alan Bundy , Toby Walsh On the notion of interestingness in automated mathematical discovery. [Citation Graph (0, 0)][DBLP ] Int. J. Hum.-Comput. Stud., 2000, v:53, n:3, pp:351-375 [Journal ] Jeremy Frank , Ian P. Gent , Toby Walsh Asymptotic and Finite Size Parameters for Phase Transitions: Hamiltonian Circuit as a Case Study. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1998, v:65, n:5, pp:241-245 [Journal ] Yasuhiko Takenaga , Toby Walsh Tetravex is NP-complete. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 2006, v:99, n:5, pp:171-174 [Journal ] Ian P. Gent , Toby Walsh An Empirical Analysis of Search in GSAT. [Citation Graph (0, 0)][DBLP ] J. Artif. Intell. Res. (JAIR), 1993, v:1, n:, pp:47-59 [Journal ] Brahim Hnich , Toby Walsh , Barbara M. Smith Dual Modelling of Permutation and Injection Problems. [Citation Graph (0, 0)][DBLP ] J. Artif. Intell. Res. (JAIR), 2004, v:21, n:, pp:357-391 [Journal ] Toby Walsh A Divergence Critic for Inductive Proof. [Citation Graph (0, 0)][DBLP ] J. Artif. Intell. Res. (JAIR), 1996, v:4, n:, pp:209-235 [Journal ] Alan Bundy , Fausto Giunchiglia , Adolfo Villafiorita , Toby Walsh Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:19, n:3, pp:319-346 [Journal ] David A. Basin , Toby Walsh A Calculus for and Termination of Rippling. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1996, v:16, n:1-2, pp:147-180 [Journal ] Ian P. Gent , Toby Walsh Satisfiability in the Year 2000. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2000, v:24, n:1/2, pp:1-3 [Journal ] Ian P. Gent , Toby Walsh Satisfiability in the Year 2000. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2002, v:28, n:2, pp:99- [Journal ] Fausto Giunchiglia , Toby Walsh The Inevitability of Inconsistent Abstract Spaces. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1993, v:11, n:1, pp:23-41 [Journal ] Enrico Giunchiglia , Toby Walsh Satisfiability in the Year 2005. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2005, v:35, n:1-3, pp:1-2 [Journal ] Toby Walsh Uncertainty in Preference Elicitation and Aggregation. [Citation Graph (0, 0)][DBLP ] AAAI, 2007, pp:3-8 [Conf ] Toby Walsh Breaking Value Symmetry. [Citation Graph (0, 0)][DBLP ] CP, 2007, pp:880-887 [Conf ] Sebastian Brand , Nina Narodytska , Claude-Guy Quimper , Peter J. Stuckey , Toby Walsh Encodings of the Sequence Constraint. [Citation Graph (0, 0)][DBLP ] CP, 2007, pp:210-224 [Conf ] Y. C. Law , J. H. M. Lee , Toby Walsh , J. Y. K. Yip Breaking Symmetry of Interchangeable Variables and Values. [Citation Graph (0, 0)][DBLP ] CP, 2007, pp:423-437 [Conf ] Claude-Guy Quimper , Toby Walsh Decomposing Global Grammar Constraints. [Citation Graph (0, 0)][DBLP ] CP, 2007, pp:590-604 [Conf ] George Katsirelos , Toby Walsh A Compression Algorithm for Large Arity Extensional Constraints. [Citation Graph (0, 0)][DBLP ] CP, 2007, pp:379-393 [Conf ] Christian Bessiere , Emmanuel Hebrard , Brahim Hnich , Zeynep Kiziltan , Claude-Guy Quimper , Toby Walsh Reformulating Global Constraints: The Slideand RegularConstraints. [Citation Graph (0, 0)][DBLP ] SARA, 2007, pp:80-92 [Conf ] Christian Bessiere , Emmanuel Hebrard , Brahim Hnich , Toby Walsh The Complexity of Reasoning with Global Constraints. [Citation Graph (0, 0)][DBLP ] Constraints, 2007, v:12, n:2, pp:239-259 [Journal ] Decompositions of Grammar Constraints. [Citation Graph (, )][DBLP ] Symmetry in Solutions. [Citation Graph (, )][DBLP ] Breaking Value Symmetry. [Citation Graph (, )][DBLP ] The Parameterized Complexity of Global Constraints. [Citation Graph (, )][DBLP ] Propagating Conjunctions of AllDifferent Constraints. [Citation Graph (, )][DBLP ] Complexity of terminating preference elicitation. [Citation Graph (, )][DBLP ] Manipulation and gender neutrality in stable marriage procedures. [Citation Graph (, )][DBLP ] Male optimality and uniqueness in stable marriage problems with partial orders. [Citation Graph (, )][DBLP ] Is Computational Complexity a Barrier to Manipulation? [Citation Graph (, )][DBLP ] Elicitation Strategies for Fuzzy Constraint Problems with Missing Preferences: Algorithms and Experimental Studies. [Citation Graph (, )][DBLP ] Flow-Based Propagators for the SEQUENCE and Related Global Constraints. [Citation Graph (, )][DBLP ] Restricted Global Grammar Constraints. [Citation Graph (, )][DBLP ] The Weighted CfgConstraint. [Citation Graph (, )][DBLP ] Reformulating Global Grammar Constraints. [Citation Graph (, )][DBLP ] Combining Symmetry Breaking and Global Constraints. [Citation Graph (, )][DBLP ] SLIDE: A Useful Special Case of the CARDPATH Constraint. [Citation Graph (, )][DBLP ] An Empirical Study of the Manipulability of Single Transferable Voting. [Citation Graph (, )][DBLP ] Local search algorithms on the Stable Marriage Problem: Experimental Studies. [Citation Graph (, )][DBLP ] Symmetries of Symmetry Breaking Constraints. [Citation Graph (, )][DBLP ] Where Are the Really Hard Manipulation Problems? The Phase Transition in Manipulating the Veto Rule. [Citation Graph (, )][DBLP ] Circuit Complexity and Decompositions of Global Constraints. [Citation Graph (, )][DBLP ] Decompositions of All Different, Global Cardinality and Related Constraints. [Citation Graph (, )][DBLP ] Dealing with Incomplete Agents' Preferences and an Uncertain Agenda in Group Decision Making via Sequential Majority Voting. [Citation Graph (, )][DBLP ] Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms. [Citation Graph (, )][DBLP ] Local Search for Stable Marriage Problems with Ties and Incomplete Lists. [Citation Graph (, )][DBLP ] Symmetry within and between Solutions. [Citation Graph (, )][DBLP ] Restart Strategy Selection Using Machine Learning Techniques. [Citation Graph (, )][DBLP ] Online Estimation of SAT Solving Runtime. [Citation Graph (, )][DBLP ] Manipulating Tournaments in Cup and Round Robin Competitions. [Citation Graph (, )][DBLP ] Compact Preference Representation in Stable Marriage Problems. [Citation Graph (, )][DBLP ] Domain filtering consistencies for non-binary constraints. [Citation Graph (, )][DBLP ] Filtering algorithms for the multiset ordering constraint. [Citation Graph (, )][DBLP ] Range and Roots: Two common patterns for specifying and propagating counting and occurrence constraints. [Citation Graph (, )][DBLP ] Elicitation strategies for soft constraint problems with missing preferences: Properties, algorithms and experimental studies. [Citation Graph (, )][DBLP ] Analysis of Heuristics for Number Partitioning. [Citation Graph (, )][DBLP ] Decompositions of Grammar Constraints [Citation Graph (, )][DBLP ] SLIDE: A Useful Special Case of the CARDPATH Constraint [Citation Graph (, )][DBLP ] Filtering Algorithms for the Multiset Ordering Constraint [Citation Graph (, )][DBLP ] Breaking Value Symmetry [Citation Graph (, )][DBLP ] Range and Roots: Two Common Patterns for Specifying and Propagating Counting and Occurrence Constraints [Citation Graph (, )][DBLP ] The Parameterized Complexity of Global Constraints [Citation Graph (, )][DBLP ] Reformulating Global Grammar Constraints [Citation Graph (, )][DBLP ] Combining Symmetry Breaking and Global Constraints [Citation Graph (, )][DBLP ] Online Estimation of SAT Solving Runtime [Citation Graph (, )][DBLP ] Symmetry Breaking Using Value Precedence [Citation Graph (, )][DBLP ] Complexity of Terminating Preference Elicitation [Citation Graph (, )][DBLP ] The Complexity of Reasoning with Global Constraints [Citation Graph (, )][DBLP ] Breaking Value Symmetry [Citation Graph (, )][DBLP ] Tetravex is NP-complete [Citation Graph (, )][DBLP ] Stochastic Constraint Programming: A Scenario-Based Approach [Citation Graph (, )][DBLP ] Stochastic Constraint Programming [Citation Graph (, )][DBLP ] Where are the really hard manipulation problems? The phase transition in manipulating the veto rule [Citation Graph (, )][DBLP ] Decompositions of All Different, Global Cardinality and Related Constraints [Citation Graph (, )][DBLP ] Circuit Complexity and Decompositions of Global Constraints [Citation Graph (, )][DBLP ] Scenario-based Stochastic Constraint Programming [Citation Graph (, )][DBLP ] Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques [Citation Graph (, )][DBLP ] Multiset Ordering Constraints [Citation Graph (, )][DBLP ] Restricted Global Grammar Constraints [Citation Graph (, )][DBLP ] Restart Strategy Selection using Machine Learning Techniques [Citation Graph (, )][DBLP ] Online Search Cost Estimation for SAT Solvers [Citation Graph (, )][DBLP ] Decomposition of the NVALUE constraint [Citation Graph (, )][DBLP ] Symmetries of Symmetry Breaking Constraints [Citation Graph (, )][DBLP ] Manipulation and gender neutrality in stable marriage procedures [Citation Graph (, )][DBLP ] Dealing with incomplete agents' preferences and an uncertain agenda in group decision making via sequential majority voting [Citation Graph (, )][DBLP ] Elicitation strategies for fuzzy constraint problems with missing preferences: algorithms and experimental studies [Citation Graph (, )][DBLP ] Flow-Based Propagators for the SEQUENCE and Related Global Constraints [Citation Graph (, )][DBLP ] The Weighted CFG Constraint [Citation Graph (, )][DBLP ] Breaking Generator Symmetry [Citation Graph (, )][DBLP ] Manipulating Tournaments in Cup and Round Robin Competitions [Citation Graph (, )][DBLP ] Manipulability of Single Transferable Vote [Citation Graph (, )][DBLP ] Symmetry within Solutions [Citation Graph (, )][DBLP ] Propagating Conjunctions of AllDifferent Constraints [Citation Graph (, )][DBLP ] An Empirical Study of the Manipulability of Single Transferable Voting [Citation Graph (, )][DBLP ] Symmetries of Symmetry Breaking Constraints [Citation Graph (, )][DBLP ] On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry [Citation Graph (, )][DBLP ] Decomposition of the NVALUE constraint [Citation Graph (, )][DBLP ] Symmetry within and between solutions [Citation Graph (, )][DBLP ] Online Cake Cutting [Citation Graph (, )][DBLP ] Local search for stable marriage problems with ties and incomplete lists [Citation Graph (, )][DBLP ] Is Computational Complexity a Barrier to Manipulation? [Citation Graph (, )][DBLP ] Local search for stable marriage problems [Citation Graph (, )][DBLP ] A Translational Approach to Constraint Answer Set Solving [Citation Graph (, )][DBLP ] An Empirical Study of Borda Manipulation [Citation Graph (, )][DBLP ] Where are the hard manipulation problems? [Citation Graph (, )][DBLP ] Stable marriage problems with quantitative preferences [Citation Graph (, )][DBLP ] Symmetry-breaking Answer Set Solving [Citation Graph (, )][DBLP ] Reformulation of Global Constraints in Answer Set Programming [Citation Graph (, )][DBLP ] Improving the Performance of maxRPC [Citation Graph (, )][DBLP ] Search in 0.014secs, Finished in 0.709secs