no code implementations • 18 Sep 2019 • 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.
1 code implementation • 31 Jul 2019 • David Spies, Jia-Huai You, Ryan Hayward
Experiments to compare the two approaches with the only known cost-optimal planner in SAT reveal good potentials for stepless planning in ASP.