Goto

Collaborating Authors

 reconfiguration graph




Core Challenge 2022: Solver and Graph Descriptions

arXiv.org Artificial Intelligence

The general approach to all of the solver tracks was to model the ISR problem as one of automated planning, and use a selection of state-of-the-art solvers to solve these instances. Throughout this document, we describe the encoding, solvers, and overall search setup.