Automated Reasoning

DOI10.1007/B98691zbMath1126.68563OpenAlexW4239036627MaRDI QIDQ5307058

Johann Schumann, Ewen Denney, Bernd Fischer

Publication date: 25 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98691

Mathematics Subject Classification ID

Related Items (5)

The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 ⋮ The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 ⋮ MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance ⋮ Engineering DPLL(T) + Saturation ⋮ Solving quantified verification conditions using satisfiability modulo theories

Uses Software

• SPASS
• KIV
• Ivy
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automated Reasoning