Login with OpenID | Report issues

 

Author: Toby Walsh [RDF, Bibtex, BibBase, BibGraph] has 25 publications

report error (So far 0 user(s) reported errors on this item)

See also:


Kernels for Global Constraints Serge Gaspers, Stefan Szeider, Toby Walsh. Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011) 540-545 2011


Handbook of Satisfiability Armin Biere, Marijn Heule, Hans Maaren, Toby Walsh. Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications 2009


Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques Carmel Domshlak, Francesca Rossi, Kristen Brent Venable, Toby Walsh. CoRR 2009


Filtering Algorithms for Multiset Ordering Constraints Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh. Artificial Intelligence 299-328 2009


Propagation Algorithms for Lexicographic Ordering Constraints Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh. Artificial Intelligence 803--834 2006


Hard and soft constraints for reasoning about qualitative conditional preferences Carmel Domshlak, Steven David Prestwich, Francesca Rossi, Kristen Brent Venable, Toby Walsh. J. Heuristics 263-285 2006


Propagating Logical Combinations of Constraints Fahiem Bacchus, Toby Walsh. Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-2005) 35-40 2005


Theory and Applications of Satisfiability Testing 8th International Conference SAT 2005 St. Andrews UK June 19-23 2005 Proceedings Fahiem Bacchus, Toby Walsh. Theory and Applications of Satisfiability Testing 8th International Conference SAT 2005 St. Andrews UK June 19-23 2005 Proceedings Lecture Notes in Computer Science 2005


Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 Fahiem Bacchus, Toby Walsh. Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 Lecture Notes in Computer Science 2005


Propagating Logical Combinations of Constraints Fahiem Bacchus, Toby Walsh. IJCAI-05 Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence Edinburgh Scotland UK July 30-August 5 2005 35-40 2005


Transforming and Refining Abstract Constraint Specifications Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh. Proceedings of the Sixth Symposium on Abstraction, Reformulation and Approximation LNCS 76-91 2005


Solving Non-clausal Formulas with DPLL search Christian Thiffault, Fahiem Bacchus, Toby Walsh. SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing 10-13 May 2004 Vancouver BC Canada Online Proceedings 2004


Solving Non-clausal Formulas with DPLL Search Christian Thiffault, Fahiem Bacchus, Toby Walsh. Principles and Practice of Constraint Programming - CP 2004 10th International Conference CP 2004 Toronto Canada September 27 - October 1 2004 Proceedings 663-678 2004


Solving Non-clausal Formulas with DPLL Search Christian Thiffault, Fahiem Bacchus, Toby Walsh. Proceedings of the 10th International Conference on Principles and Practice of Constraint Programming (CP-2004) 663-678 2004


Transforming and Refining Abstract Constraint Specifications Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh. Proceedings of the Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming, 2004 74--88 2004


Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques Carmel Domshlak, Francesca Rossi, Kristen Brent Venable, Toby Walsh. IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003 215-220 2003


Binary vs. non-binary constraints Fahiem Bacchus, Xinguang Chen, Peter Beek, Toby Walsh. Artif. Intell. 1-37 2002


AAAI 2002 Workshops 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. AI Magazine 113-121 2002


Generating Implied Constraints via Proof Planning Alan M. Frisch, Ian Miguel, Toby Walsh. Proceedings of the IJCAR-01 Workshop on Future Directions in Automated Reasoning 48--54 2001


Symmetry and Implied Constraints in the Steel Mill Slab Design Problem Alan M. Frisch, Ian Miguel, Toby Walsh. Proceedings of the CP'01 Workshop on Modelling and Problem Formulation 8--15 2001


Extensions to Proof Planning for Generating Implied Constraints Alan M. Frisch, Ian Miguel, Toby Walsh, S. Linton, R. Sebastiani. Proceedings of the Ninth Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 01) 130--141 2001


Automatic Generation of Implied Constraints: Initial Progress Simon Colton, Lyndon Drake, Alan M. Frisch, Ian Miguel, Toby Walsh, Andrei Voronkov. Proceedings of the Eighth Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice 17--18 2001


Matrix Modelling Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kızıltan, Ian Miguel, Toby Walsh. Proceedings of the CP'01 Workshop on Modelling and Problem Formulation 1--7 2001


Symmetry in Matrix Models Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kızıltan, Ian Miguel, Justin Pearson, Toby Walsh. Proceedings of the CP'01 Workshop on Symmetry in Constraints 41--48 2001


Automatic Generation of Implied Constraints: Project Description Alan M. Frisch, Toby Walsh, Hans Jürgen Ohlbach. Proceedings of the Seventh Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice 2000