Automated Reasoning
From MaRDI portal
Publication:5307058
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
Related Items
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
