Complete Symmetry Breaking for Finite Models.

Marek Danco, Mikols Janota, Michael Codish, Joo Jorge Arajo

Browse the full AAAI paper archive.