Pages that link to "Item:Q4209295"
From MaRDI portal
The following pages link to A new method for automated finite model building exploiting failures and symmetries (Q4209295):
Displaying 5 items.
- Predicting and detecting symmetries in FOL finite model search (Q861703) (← links)
- Constructing infinite models represented by tree automata (Q1044230) (← links)
- A calculus combining resolution and enumeration for building finite models (Q1404976) (← links)
- Automated Model Building: From Finite to Infinite Models (Q5505496) (← links)
- Combining enumeration and deductive techniques in order to increase the class of constructible infinite models (Q5927982) (← links)
