The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Toby Walsh: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Simon Colton, Alan Bundy, Toby Walsh
    Automatic Invention of Integer Sequences. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:558-563 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. Ian P. Gent, Toby Walsh
    Beyond NP: the QSAT phase transition. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1999, pp:648-653 [Conf]
  9. 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]
  10. 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]
  11. Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh
    Estimating Search Tree Size. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  12. 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]
  13. 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]
  14. 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]
  15. Kostas Stergiou, Toby Walsh
    Encodings of Non-Binary Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1999, pp:163-168 [Conf]
  16. 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]
  17. Toby Walsh
    The Constrainedness Knife-Edge. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1998, pp:406-411 [Conf]
  18. 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]
  19. 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]
  20. 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]
  21. Toby Walsh
    Symmetry Breaking. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2006, pp:7-8 [Conf]
  22. David A. Basin, Toby Walsh
    Difference Matching. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:295-309 [Conf]
  23. David A. Basin, Toby Walsh
    Termination Orderings for Rippling. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:466-483 [Conf]
  24. Toby Walsh
    A Divergence Critic. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:14-28 [Conf]
  25. 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]
  26. 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]
  27. Ian P. Gent, Kostas Stergiou, Toby Walsh
    Decomposable Constraints. [Citation Graph (0, 0)][DBLP]
    New Trends in Constraints, 1999, pp:134-149 [Conf]
  28. 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]
  29. 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]
  30. 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]
  31. Lyndon Drake, Alan M. Frisch, Toby Walsh
    Automatic Generation of Implied Clauses for SAT. [Citation Graph (0, 0)][DBLP]
    CP, 2002, pp:783- [Conf]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. Ian P. Gent, Toby Walsh
    CSPLIB: A Benchmark Library for Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 1999, pp:480-481 [Conf]
  38. Emmanuel Hebrard, Paul Tyler, Toby Walsh
    Computing Super-Schedules. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:879-879 [Conf]
  39. Emmanuel Hebrard, Toby Walsh
    Improved Algorithm for Finding (a, b)-Super Solutions. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:848- [Conf]
  40. Brahim Hnich, Toby Walsh
    Models of Injection Problems. [Citation Graph (0, 0)][DBLP]
    CP, 2002, pp:781- [Conf]
  41. 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]
  42. Patrick Prosser, Kostas Stergiou, Toby Walsh
    Singleton Consistencies. [Citation Graph (0, 0)][DBLP]
    CP, 2000, pp:353-368 [Conf]
  43. 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]
  44. Claude-Guy Quimper, Toby Walsh
    Global Grammar Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:751-755 [Conf]
  45. 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]
  46. Christian Thiffault, Fahiem Bacchus, Toby Walsh
    Solving Non-clausal Formulas with DPLL Search. [Citation Graph (0, 0)][DBLP]
    CP, 2004, pp:663-678 [Conf]
  47. Toby Walsh
    SAT v CSP. [Citation Graph (0, 0)][DBLP]
    CP, 2000, pp:441-456 [Conf]
  48. Toby Walsh
    Constraint Patterns. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:53-64 [Conf]
  49. Toby Walsh
    Consistency and Propagation with Multiset Constraints: A Formal Viewpoint. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:724-738 [Conf]
  50. Toby Walsh
    General Symmetry Breaking Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:650-664 [Conf]
  51. 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]
  52. 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]
  53. 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]
  54. Emmanuel Hebrard, Brahim Hnich, Toby Walsh
    Super Solutions in Constraint Programming. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2004, pp:157-172 [Conf]
  55. 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]
  56. 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]
  57. David A. Basin, Toby Walsh
    A Calculus for Rippling. [Citation Graph (0, 0)][DBLP]
    CTRS, 1994, pp:15-30 [Conf]
  58. Toby Walsh
    General Purpose Proof Plans. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:379-383 [Conf]
  59. Ian P. Gent, Toby Walsh
    The SAT Phase Transition. [Citation Graph (0, 0)][DBLP]
    ECAI, 1994, pp:105-109 [Conf]
  60. 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]
  61. Fausto Giunchiglia, Toby Walsh
    Tree Subsumption: Reasoning with Outlines. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:77-81 [Conf]
  62. Emmanuel Hebrard, Brahim Hnich, Toby Walsh
    Robust Solutions for Constraint Satisfaction and Optimization. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:186-190 [Conf]
  63. Pedro Meseguer, Toby Walsh
    Interleaved and Discrepancy Based Search. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:239-243 [Conf]
  64. 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]
  65. Kostas Stergiou, Toby Walsh
    Inverse Consistencies for Non-Binary Constraints. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:153-157 [Conf]
  66. Toby Walsh
    Stochastic Constraint Programming. [Citation Graph (0, 0)][DBLP]
    ECAI, 2002, pp:111-115 [Conf]
  67. Toby Walsh
    Symmetry Breaking Using Value Precedence. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:168-0 [Conf]
  68. 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]
  69. 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]
  70. 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]
  71. Simon Colton, Alan Bundy, Toby Walsh
    Automatic Identification of Mathematical Concepts. [Citation Graph (0, 0)][DBLP]
    ICML, 2000, pp:183-190 [Conf]
  72. Fahiem Bacchus, Toby Walsh
    Propagating Logical Combinations of Constraints. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:35-40 [Conf]
  73. David A. Basin, Toby Walsh
    Difference Unification. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:116-122 [Conf]
  74. 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]
  75. Simon Colton, Alan Bundy, Toby Walsh
    Automatic Concept Formation in Pure Mathematics. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:786-793 [Conf]
  76. 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]
  77. 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]
  78. Fausto Giunchiglia, Toby Walsh
    Abstract Theorem Proving. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1989, pp:372-377 [Conf]
  79. 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]
  80. Philip Kilby, John K. Slaney, Toby Walsh
    The Backbone of the Travelling Salesperson. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:175-180 [Conf]
  81. Suresh Manandhar, Armagan Tarim, Toby Walsh
    Scenario-based Stochastic Constraint Programming. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:257-262 [Conf]
  82. John K. Slaney, Toby Walsh
    Backbones in Optimization and Approximation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:254-259 [Conf]
  83. Kostas Stergiou, Toby Walsh
    The Difference All-Difference Makes. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:414-419 [Conf]
  84. Toby Walsh
    Search on High Degree Graphs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:266-274 [Conf]
  85. Toby Walsh
    Depth-bounded Discrepancy Search. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1997, pp:1388-1395 [Conf]
  86. Toby Walsh
    Search in a Small World. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:1172-1177 [Conf]
  87. Nina Narodytska, Toby Walsh
    Constraint and Variable Ordering Heuristics for Compiling Configuration Problems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:149-154 [Conf]
  88. 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]
  89. Emmanuel Hebrard, Barry O'Sullivan, Toby Walsh
    Distance Constraints in Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:106-111 [Conf]
  90. 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]
  91. Ian P. Gent, Toby Walsh
    The Hardest Random SAT Problems. [Citation Graph (0, 0)][DBLP]
    KI, 1994, pp:355-366 [Conf]
  92. Toby Walsh
    Permutation Problems and Channelling Constraints. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:377-391 [Conf]
  93. Toby Walsh
    Reformulating Propositional Satisfiability as Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:233-246 [Conf]
  94. 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]
  95. Christian Bessière, Emmanuel Hebrard, Toby Walsh
    Local Consistencies in SAT. [Citation Graph (0, 0)][DBLP]
    SAT, 2003, pp:299-314 [Conf]
  96. Christian Thiffault, Fahiem Bacchus, Toby Walsh
    Solving Non-clausal Formulas with DPLL search. [Citation Graph (0, 0)][DBLP]
    SAT, 2004, pp:- [Conf]
  97. 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]
  98. 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]
  99. 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]
  100. 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]
  101. 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]
  102. 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]
  103. 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]
  104. 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]
  105. 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]
  106. 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]
  107. 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]
  108. 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]
  109. 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]
  110. 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]
  111. 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]
  112. Toby Walsh
    Empirical Methods in AI. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 1998, v:19, n:2, pp:121-124 [Journal]
  113. 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]
  114. 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]
  115. 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]
  116. Ian P. Gent, Toby Walsh
    An Empirical Analysis of Search in GSAT [Citation Graph (0, 0)][DBLP]
    CoRR, 1993, v:0, n:, pp:- [Journal]
  117. Toby Walsh
    A Divergence Critic for Inductive Proof [Citation Graph (0, 0)][DBLP]
    CoRR, 1996, v:0, n:, pp:- [Journal]
  118. 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]
  119. 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]
  120. 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]
  121. 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]
  122. 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]
  123. 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]
  124. 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]
  125. 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]
  126. 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]
  127. 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]
  128. 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]
  129. 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]
  130. 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]
  131. 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]
  132. Toby Walsh
    Uncertainty in Preference Elicitation and Aggregation. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:3-8 [Conf]
  133. Toby Walsh
    Breaking Value Symmetry. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:880-887 [Conf]
  134. 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]
  135. 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]
  136. Claude-Guy Quimper, Toby Walsh
    Decomposing Global Grammar Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:590-604 [Conf]
  137. George Katsirelos, Toby Walsh
    A Compression Algorithm for Large Arity Extensional Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:379-393 [Conf]
  138. 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]
  139. 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]

  140. Decompositions of Grammar Constraints. [Citation Graph (, )][DBLP]


  141. Symmetry in Solutions. [Citation Graph (, )][DBLP]


  142. Breaking Value Symmetry. [Citation Graph (, )][DBLP]


  143. The Parameterized Complexity of Global Constraints. [Citation Graph (, )][DBLP]


  144. Propagating Conjunctions of AllDifferent Constraints. [Citation Graph (, )][DBLP]


  145. Complexity of terminating preference elicitation. [Citation Graph (, )][DBLP]


  146. Manipulation and gender neutrality in stable marriage procedures. [Citation Graph (, )][DBLP]


  147. Male optimality and uniqueness in stable marriage problems with partial orders. [Citation Graph (, )][DBLP]


  148. Is Computational Complexity a Barrier to Manipulation? [Citation Graph (, )][DBLP]


  149. Elicitation Strategies for Fuzzy Constraint Problems with Missing Preferences: Algorithms and Experimental Studies. [Citation Graph (, )][DBLP]


  150. Flow-Based Propagators for the SEQUENCE and Related Global Constraints. [Citation Graph (, )][DBLP]


  151. Restricted Global Grammar Constraints. [Citation Graph (, )][DBLP]


  152. The Weighted CfgConstraint. [Citation Graph (, )][DBLP]


  153. Reformulating Global Grammar Constraints. [Citation Graph (, )][DBLP]


  154. Combining Symmetry Breaking and Global Constraints. [Citation Graph (, )][DBLP]


  155. SLIDE: A Useful Special Case of the CARDPATH Constraint. [Citation Graph (, )][DBLP]


  156. An Empirical Study of the Manipulability of Single Transferable Voting. [Citation Graph (, )][DBLP]


  157. Local search algorithms on the Stable Marriage Problem: Experimental Studies. [Citation Graph (, )][DBLP]


  158. Symmetries of Symmetry Breaking Constraints. [Citation Graph (, )][DBLP]


  159. Where Are the Really Hard Manipulation Problems? The Phase Transition in Manipulating the Veto Rule. [Citation Graph (, )][DBLP]


  160. Circuit Complexity and Decompositions of Global Constraints. [Citation Graph (, )][DBLP]


  161. Decompositions of All Different, Global Cardinality and Related Constraints. [Citation Graph (, )][DBLP]


  162. Dealing with Incomplete Agents' Preferences and an Uncertain Agenda in Group Decision Making via Sequential Majority Voting. [Citation Graph (, )][DBLP]


  163. Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms. [Citation Graph (, )][DBLP]


  164. Local Search for Stable Marriage Problems with Ties and Incomplete Lists. [Citation Graph (, )][DBLP]


  165. Symmetry within and between Solutions. [Citation Graph (, )][DBLP]


  166. Restart Strategy Selection Using Machine Learning Techniques. [Citation Graph (, )][DBLP]


  167. Online Estimation of SAT Solving Runtime. [Citation Graph (, )][DBLP]


  168. Manipulating Tournaments in Cup and Round Robin Competitions. [Citation Graph (, )][DBLP]


  169. Compact Preference Representation in Stable Marriage Problems. [Citation Graph (, )][DBLP]


  170. Domain filtering consistencies for non-binary constraints. [Citation Graph (, )][DBLP]


  171. Filtering algorithms for the multiset ordering constraint. [Citation Graph (, )][DBLP]


  172. Range and Roots: Two common patterns for specifying and propagating counting and occurrence constraints. [Citation Graph (, )][DBLP]


  173. Elicitation strategies for soft constraint problems with missing preferences: Properties, algorithms and experimental studies. [Citation Graph (, )][DBLP]


  174. Analysis of Heuristics for Number Partitioning. [Citation Graph (, )][DBLP]


  175. Decompositions of Grammar Constraints [Citation Graph (, )][DBLP]


  176. SLIDE: A Useful Special Case of the CARDPATH Constraint [Citation Graph (, )][DBLP]


  177. Filtering Algorithms for the Multiset Ordering Constraint [Citation Graph (, )][DBLP]


  178. Breaking Value Symmetry [Citation Graph (, )][DBLP]


  179. Range and Roots: Two Common Patterns for Specifying and Propagating Counting and Occurrence Constraints [Citation Graph (, )][DBLP]


  180. The Parameterized Complexity of Global Constraints [Citation Graph (, )][DBLP]


  181. Reformulating Global Grammar Constraints [Citation Graph (, )][DBLP]


  182. Combining Symmetry Breaking and Global Constraints [Citation Graph (, )][DBLP]


  183. Online Estimation of SAT Solving Runtime [Citation Graph (, )][DBLP]


  184. Symmetry Breaking Using Value Precedence [Citation Graph (, )][DBLP]


  185. Complexity of Terminating Preference Elicitation [Citation Graph (, )][DBLP]


  186. The Complexity of Reasoning with Global Constraints [Citation Graph (, )][DBLP]


  187. Breaking Value Symmetry [Citation Graph (, )][DBLP]


  188. Tetravex is NP-complete [Citation Graph (, )][DBLP]


  189. Stochastic Constraint Programming: A Scenario-Based Approach [Citation Graph (, )][DBLP]


  190. Stochastic Constraint Programming [Citation Graph (, )][DBLP]


  191. Where are the really hard manipulation problems? The phase transition in manipulating the veto rule [Citation Graph (, )][DBLP]


  192. Decompositions of All Different, Global Cardinality and Related Constraints [Citation Graph (, )][DBLP]


  193. Circuit Complexity and Decompositions of Global Constraints [Citation Graph (, )][DBLP]


  194. Scenario-based Stochastic Constraint Programming [Citation Graph (, )][DBLP]


  195. Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques [Citation Graph (, )][DBLP]


  196. Multiset Ordering Constraints [Citation Graph (, )][DBLP]


  197. Restricted Global Grammar Constraints [Citation Graph (, )][DBLP]


  198. Restart Strategy Selection using Machine Learning Techniques [Citation Graph (, )][DBLP]


  199. Online Search Cost Estimation for SAT Solvers [Citation Graph (, )][DBLP]


  200. Decomposition of the NVALUE constraint [Citation Graph (, )][DBLP]


  201. Symmetries of Symmetry Breaking Constraints [Citation Graph (, )][DBLP]


  202. Manipulation and gender neutrality in stable marriage procedures [Citation Graph (, )][DBLP]


  203. Dealing with incomplete agents' preferences and an uncertain agenda in group decision making via sequential majority voting [Citation Graph (, )][DBLP]


  204. Elicitation strategies for fuzzy constraint problems with missing preferences: algorithms and experimental studies [Citation Graph (, )][DBLP]


  205. Flow-Based Propagators for the SEQUENCE and Related Global Constraints [Citation Graph (, )][DBLP]


  206. The Weighted CFG Constraint [Citation Graph (, )][DBLP]


  207. Breaking Generator Symmetry [Citation Graph (, )][DBLP]


  208. Manipulating Tournaments in Cup and Round Robin Competitions [Citation Graph (, )][DBLP]


  209. Manipulability of Single Transferable Vote [Citation Graph (, )][DBLP]


  210. Symmetry within Solutions [Citation Graph (, )][DBLP]


  211. Propagating Conjunctions of AllDifferent Constraints [Citation Graph (, )][DBLP]


  212. An Empirical Study of the Manipulability of Single Transferable Voting [Citation Graph (, )][DBLP]


  213. Symmetries of Symmetry Breaking Constraints [Citation Graph (, )][DBLP]


  214. On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry [Citation Graph (, )][DBLP]


  215. Decomposition of the NVALUE constraint [Citation Graph (, )][DBLP]


  216. Symmetry within and between solutions [Citation Graph (, )][DBLP]


  217. Online Cake Cutting [Citation Graph (, )][DBLP]


  218. Local search for stable marriage problems with ties and incomplete lists [Citation Graph (, )][DBLP]


  219. Is Computational Complexity a Barrier to Manipulation? [Citation Graph (, )][DBLP]


  220. Local search for stable marriage problems [Citation Graph (, )][DBLP]


  221. A Translational Approach to Constraint Answer Set Solving [Citation Graph (, )][DBLP]


  222. An Empirical Study of Borda Manipulation [Citation Graph (, )][DBLP]


  223. Where are the hard manipulation problems? [Citation Graph (, )][DBLP]


  224. Stable marriage problems with quantitative preferences [Citation Graph (, )][DBLP]


  225. Symmetry-breaking Answer Set Solving [Citation Graph (, )][DBLP]


  226. Reformulation of Global Constraints in Answer Set Programming [Citation Graph (, )][DBLP]


  227. Improving the Performance of maxRPC [Citation Graph (, )][DBLP]


Search in 0.014secs, Finished in 0.709secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002