Cited in
(51)- scientific article; zbMATH DE number 2165692 (Why is no real title available?)
- Computing finite models by reduction to function-free clause logic
- System description generating models by SEM
- Simplifying and generalizing formulae in tableaux. Pruning the search space and building models
- Extracting models from clause sets saturated under semantic refinements of the resolution rule.
- scientific article; zbMATH DE number 1323296 (Why is no real title available?)
- Decomposable constraints
- Increasing model building capabilities by constraint solving on terms with integer exponents
- Proof and model generation with disconnection tableaux
- scientific article; zbMATH DE number 1508927 (Why is no real title available?)
- Positive unit hyperresolution tableaux and their application to minimal model generation
- scientific article; zbMATH DE number 1140676 (Why is no real title available?)
- A calculus combining resolution and enumeration for building finite models
- scientific article; zbMATH DE number 1478235 (Why is no real title available?)
- PSATO: A distributed propositional prover and its application to quasigroup problems
- Model generation for natural language interpretation and analysis.
- Artificial Intelligence and Symbolic Computation
- Automated flaw detection in algebraic specifications
- Automated Model Building: From Finite to Infinite Models
- scientific article; zbMATH DE number 1552511 (Why is no real title available?)
- Enumerating AG-groups with a study of Smaradache AG-groups.
- scientific article; zbMATH DE number 1301750 (Why is no real title available?)
- scientific article; zbMATH DE number 1405457 (Why is no real title available?)
- Paradox
- Darwin
- SATCHMO
- SCOTT
- E-Darvin
- Mace4
- Predicting and detecting symmetries in FOL finite model search
- MGTP
- KIV
- FALCON
- CLIN
- 3TAP
- ModGen
- Automatic construction of finite algebras
- Problems on the generation of finite models
- Single axioms for groups and abelian groups with various operations
- Ordered semigroups of size at most 7 and linearly ordered semigroups of size at most 10.
- scientific article; zbMATH DE number 1943847 (Why is no real title available?)
- Automated reasoning and exhaustive search: Quasigroup existence problems
- Automating Algebraic Specifications of Non-freely Generated Data Types
- scientific article; zbMATH DE number 2084700 (Why is no real title available?)
- scientific article; zbMATH DE number 1222426 (Why is no real title available?)
- Blocking and other enhancements for bottom-up model generation methods
- scientific article; zbMATH DE number 1566286 (Why is no real title available?)
- Constructing infinite models represented by tree automata
- Model finding for recursive functions in SMT
- scientific article; zbMATH DE number 1059315 (Why is no real title available?)
- The resonance strategy
This page was built for software: FINDER
