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
• MACE4 and SEM: A Comparison of Finite Model Generators
• Predicting and detecting symmetries in FOL finite model search
• An Algorithm for Approximating the Satisfiability Problem of High-level Conditions
• Boosting isomorphic model filtering with invariants
• Geometric Resolution: A Proof Procedure Based on Finite Model Search

This page was built for software: FALCON