The 481 Ways to Split a Clause and Deal with Propositional Variables

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

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

• TPTP
• E Theorem Prover

This page was built for publication: The 481 Ways to Split a Clause and Deal with Propositional Variables