Symmetry avoidance in MACE-style finite model finding

DOI10.1007/978-3-030-29007-8_1zbMath1435.68305OpenAlexW2963773478MaRDI QIDQ2180212

Martin Riener, Martin Suda, Giles Reger

Publication date: 13 May 2020

Full work available at URL: https://www.research.manchester.ac.uk/portal/en/publications/symmetry-avoidance-in-macestyle-finite-model-finding(201ec771-f9a2-4439-857b-4110948f0b8f).html

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Model theory of finite structures (03C13) Computational aspects of satisfiability (68R07)

Related Items

Boosting isomorphic model filtering with invariants

Uses Software

• MiniSat
• VAMPIRE
• TPTP
• StarExec
• Saucy
• Shatter