Strengthening Canonical Pattern Databases with Structural Symmetries.
Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz
Browse the full SoCS paper archive.
Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz
Browse the full SoCS paper archive.