FALCON
From MaRDI portal
Software:33157
No author found.
Related Items (7)
Predicting and detecting symmetries in FOL finite model search ⋮ An Algorithm for Approximating the Satisfiability Problem of High-level Conditions ⋮ System description generating models by SEM ⋮ MACE4 and SEM: A Comparison of Finite Model Generators ⋮ Geometric Resolution: A Proof Procedure Based on Finite Model Search ⋮ Automatic generation of logical models with AGES ⋮ Boosting isomorphic model filtering with invariants
This page was built for software: FALCON
