Pages that link to "Item:Q1357663"
From MaRDI portal
The following pages link to Constructing finite algebras with FALCON (Q1357663):
Displaying 9 items.
- FALCON (Q33157) (← links)
- Predicting and detecting symmetries in FOL finite model search (Q861703) (← links)
- Rapid construction of algebraic axioms from samples (Q1179710) (← links)
- Automatic construction of finite algebras (Q1894320) (← links)
- Boosting isomorphic model filtering with invariants (Q2079277) (← links)
- Automatic generation of logical models with AGES (Q2305421) (← 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)