The following pages link to FINDER (Q18502):
Displaying 6 items.
- Automated flaw detection in algebraic specifications (Q616853) (← links)
- Predicting and detecting symmetries in FOL finite model search (Q861703) (← links)
- Computing finite models by reduction to function-free clause logic (Q1006733) (← links)
- Constructing infinite models represented by tree automata (Q1044230) (← links)
- Increasing model building capabilities by constraint solving on terms with integer exponents (Q1360965) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464721) (← links)
