Cited in
(13)- MACE4 and SEM: a comparison of finite model generators
- System description generating models by SEM
- Automatic generation of logical models with AGES
- Geometric Resolution: A Proof Procedure Based on Finite Model Search
- Boosting isomorphic model filtering with invariants
- FINDER
- SCOTT
- Predicting and detecting symmetries in FOL finite model search
- LOOPS
- MGTP
- ModGen
- AGES
- An algorithm for approximating the satisfiability problem of high-level conditions
This page was built for software: FALCON
