Towards Smarter MACE-style Model Finders

DOI10.29007/w42szbMath1415.68194OpenAlexW2907012365MaRDI QIDQ5222972

Martin Suda, Mikoláš Janota

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

SATEPRCEGARfinite model finder

Mathematics Subject Classification ID

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

Related Items (1)

Boosting isomorphic model filtering with invariants

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