Towards Smarter MACE-style Model Finders

DOI10.29007/W42SMaRDI QIDQ5222972zbMATH OpenOpenAlexFDO

Authors Mikoláš Janota, Martin Suda

Publication date 4 July 2019

Published in EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.29007/w42s

zbMATH Keywords

CEGAREPRfinite model finderSAT

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 4100589
• MACE4 and SEM: a comparison of finite model generators
• scientific article; zbMATH DE number 1614704
• Symmetry avoidance in MACE-style finite model finding
• A model searching method based on marginal model stuctures
• scientific article; zbMATH DE number 1357920

Cited in

(7)

• Boosting isomorphic model filtering with invariants
• Symmetry avoidance in MACE-style finite model finding
• Finite model finding using the logic of equality with uninterpreted functions
• MACE4 and SEM: a comparison of finite model generators
• Experiments on infinite model finding in SMT solving
• Exploring partial models with SCL
• First-order automatic literal model generation

This page was built for publication: Towards Smarter MACE-style Model Finders

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