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