Balyo, Tomás

2 publications

IJCAI 2025 Using Planning for Automated Testing of Video Games Tomás Balyo, Roman Barták, Lukás Chrpa, Michal Cervenka, Filip Dvorák, Stephan Gocht, Lukás Lipcák, Viktor Macek, Dominik Rohácek, Josef Ryzí, Martin Suda, Dominik Safránek, Slavomír Svancár, G. Michael Youngblood
AAAI 2017 SAT Competition 2016: Recent Developments Tomás Balyo, Marijn J. H. Heule, Matti Järvisalo