2011
16Symmetry Breaking for Distributed Multi-Context Systems. Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh. LPNMR 2011, 26-39. Web SearchBibTeXDownload
2009
15Flow-Based Propagators for the SEQUENCE and Related Global Constraints. Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh. CoRR (abs/0909.4452) (2009). Web SearchBibTeXDownload
14Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques. Carmel Domshlak, Francesca Rossi, Kristen Brent Venable, Toby Walsh. CoRR (abs/0905.3766) (2009). Web SearchBibTeXDownload
13Restricted Global Grammar Constraints. George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh. CP 2009, 501-508. Web SearchBibTeXDownload
2008
12Flow-Based Propagators for the SEQUENCE and Related Global Constraints. Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh. CP 2008, 159-174. Web SearchBibTeXDownload
2007
11Encodings of the Sequence Constraint. Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh. CP 2007, 210-224. Web SearchBibTeXDownload
2006
10Hard and soft constraints for reasoning about qualitative conditional preferences. Carmel Domshlak, Steven David Prestwich, Francesca Rossi, Kristen Brent Venable, Toby Walsh. J. Heuristics (12): 263-285 (2006). Web SearchBibTeXDownload
2005
9The G12 Project: Mapping Solver Independent Models to Efficient Solutions. Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh. ICLP 2005, 9-13. Web SearchBibTeXDownload
2003
8Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques. Carmel Domshlak, Francesca Rossi, Kristen Brent Venable, Toby Walsh. IJCAI 2003, 215-220. Web SearchBibTeX
2002
7AAAI 2002 Fall Symposium Series Reports. Benjamin Bell, Lola Cañamero, Silvia Coradeschi, Carla P. Gomes, Alessandro Saffiotti, Costas Tsatsoulis, Toby Walsh. AI Magazine (23): 91-94 (2002). Web SearchBibTeXDownload
6AAAI 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 (23): 113-121 (2002). Web SearchBibTeXDownload
1999
5Paul R. Cohen's Empirical Methods for Artificial Intelligence. Dennis F. Kibler, Toby Walsh. Artif. Intell. (113): 285-290 (1999). Web SearchBibTeXDownload
1996
4Computing Abstraction Hierarchies by Numerical Simulation. Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh. AAAI/IAAI, Vol. 1 1996, 523-529. Web SearchBibTeXDownload
3Calculating Criticalities. Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh. Artif. Intell. (88): 39-67 (1996). Web SearchBibTeXDownload
2A General Purpose Reasoner for Abstraction. Fausto Giunchiglia, Roberto Sebastiani, Adolfo Villafiorita, Toby Walsh. Canadian Conference on AI 1996, 323-335. Web SearchBibTeXDownload
1994
1The SAT Phase Transition. Ian P. Gent, Wei Li. ECAI 1994, 105-109. Web SearchBibTeX
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research