Symmetry avoidance in MACE-style finite model finding

DOI10.1007/978-3-030-29007-8_1MaRDI QIDQ2180212zbMATH OpenOpenAlexFDO

Authors Giles Reger, Martin Riener, Martin Suda

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

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

Recommendations

• scientific article; zbMATH DE number 2090302
• Finding Finite Models in Multi-sorted First-Order Logic
• Towards Smarter MACE-style Model Finders
• Reducing symmetries to generate easier SAT instances
• Predicting and detecting symmetries in FOL finite model search

Cited in

(10)

• Boosting isomorphic model filtering with invariants
• Finite model finding using the logic of equality with uninterpreted functions
• Improving Discrete Model Representations via Symmetry Considerations
• A new method for automated finite model building exploiting failures and symmetries
• scientific article; zbMATH DE number 2090302 (Why is no real title available?)
• MACE4 and SEM: a comparison of finite model generators
• Towards Smarter MACE-style Model Finders
• Finding connections via satisfiability solving
• Experiments on infinite model finding in SMT solving
• Predicting and detecting symmetries in FOL finite model search

Describes a project that uses

Uses Software

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

This page was built for publication: Symmetry avoidance in MACE-style finite model finding

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2180212)