The following pages link to (Q4287493):
Displayed 8 items.
- A method for simultaneous search for refutations and models by equational constraint solving (Q1198235) (← links)
- On the complexity of equational problems in CNF (Q1404988) (← links)
- On deciding subsumption problems (Q1777407) (← links)
- Explicit versus implicit representations of subsets of the Herbrand universe. (Q1853582) (← links)
- Efficient model generation through compilation. (Q1854374) (← links)
- Working with ARMs: Complexity results on atomic representations of Herbrand models (Q1854418) (← links)
- MACE4 and SEM: A Comparison of Finite Model Generators (Q4913862) (← links)
- Combining enumeration and deductive techniques in order to increase the class of constructible infinite models (Q5927982) (← links)