Automated Reasoning
From MaRDI portal
Publication:5307082
DOI10.1007/b98691zbMath1126.68580OpenAlexW4239036627MaRDI QIDQ5307082
Christian Suttner, Geoff Sutcliffe
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
The 2013 evaluation of SMT-COMP and SMT-LIB ⋮ A multi-clause dynamic deduction algorithm based on standard contradiction separation rule ⋮ Internal axioms for domain semirings ⋮ The design of the CADE-13 ATP system competition ⋮ Translating higher-order clauses to first-order clauses ⋮ Citius altius fortius ⋮ Lightweight relevance filtering for machine-generated resolution problems ⋮ Subsumption Algorithms for Three-Valued Geometric Resolution
This page was built for publication: Automated Reasoning
