A disjunctive positive refinement of model elimination and its application to subsumption deletion
From MaRDI portal
Publication:1369080
DOI10.1023/A:1005812703468zbMath0885.03011OpenAlexW1519829133MaRDI QIDQ1369080
Stefan Brüning, Peter Baumgartner
Publication date: 15 April 1998
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1005812703468
Related Items
Towards a unified model of search in theorem-proving: subgoal-reduction strategies ⋮ Controlled use of clausal lemmas in connection tableau calculi
Uses Software
