The following pages link to FINDER (Q18502):
Displaying 39 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)
- Single axioms for groups and abelian groups with various operations (Q1312155) (← links)
- Automated reasoning and exhaustive search: Quasigroup existence problems (Q1343395) (← links)
- The resonance strategy (Q1343396) (← links)
- Increasing model building capabilities by constraint solving on terms with integer exponents (Q1360965) (← 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)
- Positive unit hyperresolution tableaux and their application to minimal model generation (Q1581852) (← links)
- Decomposable constraints (Q1589469) (← links)
- Automatic construction of finite algebras (Q1894320) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- Ordered semigroups of size at most 7 and linearly ordered semigroups of size at most 10. (Q2340379) (← links)
- PSATO: A distributed propositional prover and its application to quasigroup problems (Q2365127) (← links)
- Model generation for natural language interpretation and analysis. (Q2492154) (← links)
- (Q2701734) (← links)
- Model Finding for Recursive Functions in SMT (Q2817915) (← links)
- (Q2908102) (← links)
- Proof and Model Generation with Disconnection Tableaux (Q2996159) (← links)
- Automating Algebraic Specifications of Non-freely Generated Data Types (Q3540070) (← links)
- (Q4217950) (← links)
- (Q4246965) (← links)
- (Q4255135) (← links)
- (Q4353622) (← links)
- (Q4385441) (← links)
- (Q4409888) (← links)
- (Q4475625) (← links)
- (Q4492740) (← links)
- (Q4506391) (← links)
- (Q4524769) (← links)
- Simplifying and generalizing formulae in tableaux. Pruning the search space and building models (Q4610336) (← links)
- System description generating models by SEM (Q4647530) (← links)
- (Q4675621) (← links)
- (Q4938432) (← links)
- Problems on the generation of finite models (Q5210810) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464721) (← links)
- Automated Model Building: From Finite to Infinite Models (Q5505496) (← links)
