swMATH21349MaRDI QIDQ33157FDOQ33157
Author name not available (Why is that?)
Official website: https://link.springer.com/article/10.1007/BF00247667
Cited In (13)
- Automatic generation of logical models with AGES
- System description generating models by SEM
- Predicting and detecting symmetries in FOL finite model search
- FINDER
- SCOTT
- LOOPS
- MGTP
- ModGen
- AGES
- An algorithm for approximating the satisfiability problem of high-level conditions
- MACE4 and SEM: a comparison of finite model generators
- Boosting isomorphic model filtering with invariants
- Geometric Resolution: A Proof Procedure Based on Finite Model Search
This page was built for software: FALCON
