FINDER

swMATH6376MaRDI QIDQ18502FDOQ18502

Author name not available (Why is that?)

Cited In (39)

• Blocking and other enhancements for bottom-up model generation methods
• PSATO: A distributed propositional prover and its application to quasigroup problems
• The resonance strategy
• Extracting models from clause sets saturated under semantic refinements of the resolution rule.
• Positive unit hyperresolution tableaux and their application to minimal model generation
• Model Finding for Recursive Functions in SMT
• Artificial Intelligence and Symbolic Computation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automating Algebraic Specifications of Non-freely Generated Data Types
• Title not available (Why is that?)
• Title not available (Why is that?)
• System description generating models by SEM
• Ordered semigroups of size at most 7 and linearly ordered semigroups of size at most 10.
• Title not available (Why is that?)
• Predicting and detecting symmetries in FOL finite model search
• Automatic construction of finite algebras
• Title not available (Why is that?)
• Simplifying and generalizing formulae in tableaux. Pruning the search space and building models
• Title not available (Why is that?)
• Computing finite models by reduction to function-free clause logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automated reasoning and exhaustive search: Quasigroup existence problems
• A calculus combining resolution and enumeration for building finite models
• Title not available (Why is that?)
• Enumerating AG-groups with a study of Smaradache AG-groups.
• Automated flaw detection in algebraic specifications
• Title not available (Why is that?)
• Constructing infinite models represented by tree automata
• Proof and model generation with disconnection tableaux
• Automated Model Building: From Finite to Infinite Models
• Single axioms for groups and abelian groups with various operations
• Model generation for natural language interpretation and analysis.
• Problems on the generation of finite models
• Increasing model building capabilities by constraint solving on terms with integer exponents
• Title not available (Why is that?)
• Decomposable constraints
• Title not available (Why is that?)

This page was built for software: FINDER