The following pages link to FALCON (Q33157):
Displaying 7 items.
- Predicting and detecting symmetries in FOL finite model search (Q861703) (← links)
- Boosting isomorphic model filtering with invariants (Q2079277) (← links)
- Automatic generation of logical models with AGES (Q2305421) (← links)
- Geometric Resolution: A Proof Procedure Based on Finite Model Search (Q3613415) (← links)
- System description generating models by SEM (Q4647530) (← links)
- MACE4 and SEM: A Comparison of Finite Model Generators (Q4913862) (← links)
- An Algorithm for Approximating the Satisfiability Problem of High-level Conditions (Q5403460) (← links)