Towards Smarter MACE-style Model Finders

DOI10.29007/W42SzbMATH Open1415.68194OpenAlexW2907012365MaRDI QIDQ5222972FDOQ5222972

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

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

zbMATH Keywords

SATEPRCEGARfinite model finder

Mathematics Subject Classification ID

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

Cited In (1)

• Boosting isomorphic model filtering with invariants

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)