Automated Reasoning
From MaRDI portal
Publication:5307048
DOI10.1007/B98691zbMath1126.68571OpenAlexW4239036627MaRDI QIDQ5307048
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 (2)
A multi-clause dynamic deduction algorithm based on standard contradiction separation rule ⋮ Extending Maximal Completion (Invited Talk)
Uses Software
This page was built for publication: Automated Reasoning