FALCON

swMATH21349MaRDI QIDQ33157FDOQ33157

Author name not available (Why is that?)

Described by source

• Constructing finite algebras with FALCON

Cited In (7)

• Automatic generation of logical models with AGES
• System description generating models by SEM
• Predicting and detecting symmetries in FOL finite model search
• 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