The following pages link to (Q4934139):
Displaying 7 items.
- Predicting and detecting symmetries in FOL finite model search (Q861703) (← links)
- Constructing finite algebras with FALCON (Q1357663) (← links)
- Automatic construction of finite algebras (Q1894320) (← links)
- Boosting isomorphic model filtering with invariants (Q2079277) (← links)
- A new method for automated finite model building exploiting failures and symmetries (Q4209295) (← links)
- A Tableaux Method for Systematic Simultaneous Search for Refutations and Models using Equational Problems (Q4272502) (← links)
- MACE4 and SEM: A Comparison of Finite Model Generators (Q4913862) (← links)