The following pages link to Automated model building (Q2487870):
Displaying 22 items.
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- On deciding satisfiability by theorem proving with speculative inferences (Q438533) (← links)
- Theory decision by decomposition (Q1041591) (← links)
- Constructing infinite models represented by tree automata (Q1044230) (← links)
- A superposition calculus for abductive reasoning (Q2013317) (← links)
- SGGS decision procedures (Q2096457) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- SPASS-AR: a first-order theorem prover based on approximation-refinement into the monadic shallow linear fragment (Q2303255) (← links)
- A complete and terminating approach to linear integer solving (Q2307624) (← links)
- Finite reasons for safety (Q2351397) (← links)
- Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas (Q3067537) (← links)
- Hyperresolution and automated model building (Q4880540) (← links)
- MACE4 and SEM: A Comparison of Finite Model Generators (Q4913862) (← links)
- A Resolution-based Model Building Algorithm for a Fragment of OCC1N = (Q4916224) (← links)
- On Deciding Satisfiability by DPLL( $\Gamma+{\mathcal T}$ ) and Unsound Theorem Proving (Q5191095) (← links)
- Decidability Results for Saturation-Based Model Building (Q5191116) (← links)
- A method for building models automatically. Experiments with an extension of OTTER (Q5210763) (← links)
- Detecting Unknots via Equational Reasoning, I: Exploration (Q5495915) (← links)
- Automated Model Building: From Finite to Infinite Models (Q5505496) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
- Semigroups, keis and groups induced by knot diagrams: an experimental investigation with automated reasoning (Q6591561) (← links)
- Automated deduction (Q6602250) (← links)
