Breaking Symmetries with Lex Implications.

Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey

Browse the full FLOPS paper archive.