The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Toby Walsh" ( http://dblp.L3S.de/Authors/Toby_Walsh )

URL (Homepage):  http://www.cse.unsw.edu.au/~tw/  Author page on DBLP  Author page in RDF  Community of Toby Walsh in ASPL-2

Publication years (Num. hits)
1989-1994 (18) 1995-1997 (19) 1998-1999 (15) 2000-2001 (17) 2002-2003 (19) 2004-2005 (31) 2006 (18) 2007-2008 (29) 2009 (48) 2010 (37) 2011 (37) 2012 (16) 2013 (30) 2014 (26) 2015 (26) 2016 (21) 2017 (21) 2018-2019 (18)
Publication types (Num. hits)
article(189) book(2) incollection(5) inproceedings(239) proceedings(11)
Venues (Conferences, Journals, ...)
CoRR(114) IJCAI(43) CP(40) AAAI(31) ECAI(20) Artif. Intell.(19) AAMAS(14) AI Magazine(12) CPAIOR(10) AAAI/IAAI(8) ADT(7) Constraints(7) J. Artif. Intell. Res.(6) J. Autom. Reasoning(6) KI(6) SAT(6) More (+10 of total 84)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 22 occurrences of 19 keywords

Results
Found 447 publication records. Showing 446 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Toby Walsh Search in a Small World. Search on Bibsonomy IJCAI The full citation details ... 1999 DBLP  BibTeX  RDF
1Kostas Stergiou 0001, Toby Walsh The Difference All-Difference Makes. Search on Bibsonomy IJCAI The full citation details ... 1999 DBLP  BibTeX  RDF
1Simon Colton, Alan Bundy, Toby Walsh Automatic Concept Formation in Pure Mathematics. Search on Bibsonomy IJCAI The full citation details ... 1999 DBLP  BibTeX  RDF
1Jeremy Frank, Ian P. Gent, Toby Walsh Asymptotic and Finite Size Parameters for Phase Transitions: Hamiltonian Circuit as a Case Study. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Toby Walsh Empirical Methods in AI. Search on Bibsonomy AI Magazine The full citation details ... 1998 DBLP  BibTeX  RDF
1Ian P. Gent, Toby Walsh Analysis of Heuristics for Number Partitioning. Search on Bibsonomy Computational Intelligence The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Toby Walsh The Constrainedness Knife-Edge. Search on Bibsonomy AAAI/IAAI The full citation details ... 1998 DBLP  BibTeX  RDF
1Pedro Meseguer, Toby Walsh Interleaved and Discrepancy Based Search. Search on Bibsonomy ECAI The full citation details ... 1998 DBLP  BibTeX  RDF
1Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh Random Constraint Satisfaction: Theory Meets Practice. Search on Bibsonomy CP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh Theories of Abstraction. Search on Bibsonomy AI Commun. The full citation details ... 1997 DBLP  BibTeX  RDF
1Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh The Scaling of Search Cost. Search on Bibsonomy AAAI/IAAI The full citation details ... 1997 DBLP  BibTeX  RDF
1Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh The Constrainedness of Arc Consistency. Search on Bibsonomy CP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Toby Walsh From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules. Search on Bibsonomy IJCAI The full citation details ... 1997 DBLP  BibTeX  RDF
1Toby Walsh Depth-bounded Discrepancy Search. Search on Bibsonomy IJCAI The full citation details ... 1997 DBLP  BibTeX  RDF
1Ian P. Gent, Toby Walsh The Satisfiability Constraint Gap. Search on Bibsonomy Artif. Intell. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh Calculating Criticalities. Search on Bibsonomy Artif. Intell. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Toby Walsh The TSP Phase Transition. Search on Bibsonomy Artif. Intell. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Toby Walsh A Divergence Critic for Inductive Proof. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Toby Walsh A Divergence Critic for Inductive Proof Search on Bibsonomy CoRR The full citation details ... 1996 DBLP  BibTeX  RDF
1David A. Basin, Toby Walsh A Calculus for and Termination of Rippling. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Fausto Giunchiglia, Roberto Sebastiani, Adolfo Villafiorita, Toby Walsh A General Purpose Reasoner for Abstraction. Search on Bibsonomy Canadian Conference on AI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh Computing Abstraction Hierarchies by Numerical Simulation. Search on Bibsonomy AAAI/IAAI, Vol. 1 The full citation details ... 1996 DBLP  BibTeX  RDF
1Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh The Constrainedness of Search. Search on Bibsonomy AAAI/IAAI, Vol. 1 The full citation details ... 1996 DBLP  BibTeX  RDF
1Ian P. Gent, Toby Walsh Phase Transitions and Annealed Theories: Number Partitioning as a Case Study. Search on Bibsonomy ECAI The full citation details ... 1996 DBLP  BibTeX  RDF
1David A. Clark, Jeremy Frank, Ian P. Gent, Ewan MacIntyre, Neven Tomov, Toby Walsh Local Search and the Number of Solutions. Search on Bibsonomy CP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem. Search on Bibsonomy CP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh Scaling Effects in the CSP Phase Transition. Search on Bibsonomy CP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Toby Walsh Easy Problems are Sometimes Hard. Search on Bibsonomy Artif. Intell. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Toby Walsh The Hardest Random SAT Problems. Search on Bibsonomy KI The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1David A. Basin, Toby Walsh A Calculus for Rippling. Search on Bibsonomy CTRS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Tetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David A. Basin Coloured Rippling: An Extension of a Theorem Proving Heuristic. Search on Bibsonomy ECAI The full citation details ... 1994 DBLP  BibTeX  RDF
1Ian P. Gent, Toby Walsh The SAT Phase Transition. Search on Bibsonomy ECAI The full citation details ... 1994 DBLP  BibTeX  RDF
1David A. Basin, Toby Walsh Termination Orderings for Rippling. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Toby Walsh A Divergence Critic. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Toby Walsh An Empirical Analysis of Search in GSAT. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Toby Walsh An Empirical Analysis of Search in GSAT Search on Bibsonomy CoRR The full citation details ... 1993 DBLP  BibTeX  RDF
1Fausto Giunchiglia, Toby Walsh The Inevitability of Inconsistent Abstract Spaces. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Toby Walsh Towards an Understanding of Hill-Climbing Procedures for SAT. Search on Bibsonomy AAAI The full citation details ... 1993 DBLP  BibTeX  RDF
1Toby Walsh General Purpose Proof Plans. Search on Bibsonomy DISCO The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1David A. Basin, Toby Walsh Difference Unification. Search on Bibsonomy IJCAI The full citation details ... 1993 DBLP  BibTeX  RDF
1Fausto Giunchiglia, Toby Walsh A Theory of Abstraction. Search on Bibsonomy Artif. Intell. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Fausto Giunchiglia, Toby Walsh Tree Subsumption: Reasoning with Outlines. Search on Bibsonomy ECAI The full citation details ... 1992 DBLP  BibTeX  RDF
1Toby Walsh, Alex Nunes, Alan Bundy The Use of Proof Plans to Sum Series. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1David A. Basin, Toby Walsh Difference Matching. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Fausto Giunchiglia, Toby Walsh Abstract Theorem Proving. Search on Bibsonomy IJCAI The full citation details ... 1989 DBLP  BibTeX  RDF
Displaying result #401 - #446 of 446 (100 per page; Change: )
Pages: [<<][1][2][3][4][5]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license