FALCON

MaRDI QIDQ33157swMATHFDO

Official website https://link.springer.com/article/10.1007/BF00247667

Described by source

• Constructing finite algebras with FALCON

Cited in

(13)

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

This page was built for software: FALCON