"Fact-Alternating Mutex Groups for Classical Planning."

Daniel Fiser, Antonín Komenda (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics