Does Advice Help to Prove Propositional Tautologies?

Beyersdorff, O and Mueller, S (2009) Does Advice Help to Prove Propositional Tautologies? In: Kullmann, O, (ed.) Theory and Applications of Satisfiability Testing SAT 2009. 12th International Conference, SAT 2009, 30 June - 3 July 2009, Swansea, UK. Lecture Notes in Computer Science, 5584 (Lectur). Springer Verlag , 65 - 72 . ISBN 978-3-642-02776-5

Abstract

Metadata

Authors/Creators:
  • Beyersdorff, O
  • Mueller, S
Copyright, Publisher and Additional Information: © 2009, Springer Verla. This is an author produced version of a paper published in Theory and Applications of Satisfiability Testing SAT 2009. Uploaded in accordance with the publisher's self-archiving policy. The original publication is available at www.springerlink.com
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering (Leeds) > School of Computing (Leeds) > Institute for Computational and Systems Science (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 10 Dec 2012 14:29
Last Modified: 29 Oct 2016 03:40
Published Version: http://dx.doi.org/10.1007/978-3-642-02777-2_8
Status: Published
Publisher: Springer Verlag
Identification Number: https://doi.org/10.1007/978-3-642-02777-2_8

Download

Filename: SAT09-advice.pdf

Share / Export

Statistics