"Tracking Branches in Trees - A Propositional Encoding for Solving ..."

Gregor Behnke, Daniel Höller, Susanne Biundo (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics