Pages that link to "Item:Q1360965"
From MaRDI portal
The following pages link to Increasing model building capabilities by constraint solving on terms with integer exponents (Q1360965):
Displaying 8 items.
- Enhancing numerical constraint propagation using multiple inclusion representations (Q1039582) (← links)
- Extracting models from clause sets saturated under semantic refinements of the resolution rule. (Q1401929) (← links)
- A calculus combining resolution and enumeration for building finite models (Q1404976) (← links)
- The first order theory of primal grammars is decidable (Q1882903) (← links)
- A complete superposition calculus for primal grammars (Q2352496) (← links)
- Simplifying and generalizing formulae in tableaux. Pruning the search space and building models (Q4610336) (← links)
- Perfect Discrimination Graphs: Indexing Terms with Integer Exponents (Q5747777) (← links)
- Combining enumeration and deductive techniques in order to increase the class of constructible infinite models (Q5927982) (← links)
