Proof Systems for Effectively Propositional Logic - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Juan Antonio Navarro Pérez, Andrei Voronkov. Proof Systems for Effectively Propositional Logic. In Alessandro Armando, Peter Baumgartner, Gilles Dowek, editors, Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings. Volume 5195 of Lecture Notes in Computer Science, pages 426-440, Springer, 2008. [doi]

The following publications are possibly variants of this publication:

Encodings of Problems in Effectively Propositional LogicJuan Antonio Navarro Pérez, Andrei Voronkov. sat 2007: 3 [doi]

Encoding industrial hardware verification problems into effectively propositional logicMoshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Andrei Voronkov. FMCAD 2010: 137-144 [doi]

runs on WebDSL