Layered Clause Selection for Theory Reasoning
Bernhard Gleiss, Martin Suda
Topics & Concepts
AxiomAutomated theorem provingComputer scienceGas meter proverProof theoryHeuristicTheoretical computer scienceSelection (genetic algorithm)Artificial intelligenceMathematical proofAlgorithmMathematicsGeometryLogic, programming, and type systemsNatural Language Processing TechniquesSemantic Web and Ontologies