FINDER

swMATH6376MaRDI QIDQ18502FDOQ18502

Author name not available (Why is that?)

Official website: http://users.cecs.anu.edu.au/~jks/software/

Cited In (49)

• 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
• 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?)
• SATCHMO
• SCOTT
• E-Darvin
• Mace4
• Constructing infinite models represented by tree automata
• MGTP
• KIV
• Proof and model generation with disconnection tableaux
• FALCON
• CLIN
• 3TAP
• ModGen
• 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
• Model finding for recursive functions in SMT
• Title not available (Why is that?)
• Decomposable constraints
• Title not available (Why is that?)

This page was built for software: FINDER