4 papers
Mutex Graphs and Multicliques: Reducing Grounding Size for Planning
David Spies, Jia-Huai You, Ryan Hayward
We present an approach to representing large sets of mutual exclusions, also known as mutexes or mutex constraints. These are the types of constraints that specify the exclusion of…
Domain-Independent Cost-Optimal Planning in ASP
David Spies, Jia-Huai You, Ryan Hayward
We investigate the problem of cost-optimal planning in ASP. Current ASP planners can be trivially extended to a cost-optimal one by adding weak constraints, but only for a given ma…
A Reverse Hex Solver
Kenny Young, Ryan B. Hayward
We present Solrex,an automated solver for the game of Reverse Hex.Reverse Hex, also known as Rex, or Misere Hex, is the variant of the game of Hex in which the player who joins her…
Neurohex: A Deep Q-learning Hex Agent
Kenny Young, Ryan Hayward, Gautham Vasan
DeepMind's recent spectacular success in using deep convolutional neural nets and machine learning to build superhuman level agents --- e.g. for Atari games via deep Q-learning and…