FALCON

MaRDI QIDQ33157swMATHFDO

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

Described by source

• Constructing finite algebras with FALCON

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