Breaking symmetries with lex implications

DOI10.1007/978-3-319-90686-7_12OpenAlexW2800804024WikidataQ60691819 ScholiaQ60691819MaRDI QIDQ1648885

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

Publication date: 9 July 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-90686-7_12

Mathematics Subject Classification ID

Combinatorics in computer science (68R05) Graph theory (including graph drawing) in computer science (68R10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)

Related Items (1)

Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs

This page was built for publication: Breaking symmetries with lex implications