The 481 Ways to Split a Clause and Deal with Propositional Variables
From MaRDI portal
Publication:4928460
DOI10.1007/978-3-642-38574-2_33zbMath1382.68216OpenAlexW136528141MaRDI QIDQ4928460
Andrei Voronkov, Kryštof Hoder
Publication date: 14 June 2013
Published in: Automated Deduction – CADE-24 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-38574-2_33
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Semantically-guided goal-sensitive reasoning: model representation ⋮ Cooperating Proof Attempts ⋮ System Description: E.T. 0.1 ⋮ Playing with AVATAR ⋮ Contradiction separation based dynamic multi-clause synergized automated deduction ⋮ Semantically-guided goal-sensitive reasoning: inference system and completeness
Uses Software
This page was built for publication: The 481 Ways to Split a Clause and Deal with Propositional Variables
