Toby Walsh
AuthID: R-006-EHA
1
TITLE: AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA
AUTHORS: Toby Walsh; Julie Shah; Zico Kolter;
PUBLISHED: 2025, SOURCE: AAAI
AUTHORS: Toby Walsh; Julie Shah; Zico Kolter;
PUBLISHED: 2025, SOURCE: AAAI
INDEXED IN: 
DBLP
DBLP2
TITLE: Handbook of Satisfiability - Second Edition
AUTHORS: Armin Biere; Marijn Heule; Hans van Maaren; Toby Walsh;
PUBLISHED: 2021, VOLUME: 336
AUTHORS: Armin Biere; Marijn Heule; Hans van Maaren; Toby Walsh;
PUBLISHED: 2021, VOLUME: 336
INDEXED IN: DBLP
DBLP3
TITLE: A translational approach to constraint answer set solving
AUTHORS: Christian Drescher; Toby Walsh;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 10
AUTHORS: Christian Drescher; Toby Walsh;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 10
INDEXED IN: 
WOS
WOS