On the Complexity of Extending Ground Resolution with Symmetry Rules.

Thierry Boy de la Tour, Stphane Demri

Browse the full IJCAI paper archive.