Unified characterisations of resolution hardness measures

Beyersdorff, O and Kullmann, O (2014) Unified characterisations of resolution hardness measures. In: Sinz, C and Egly, U, (eds.) Theory and Applications of Satisfiability Testing – SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. 17th International Conference, Held as Part of the Vienna Summer of Logic, 14 -17 July 2014, Vienna, Austria. Lecture Notes in Computer Science , 8561 L . Springer , 170 - 187.

Abstract

Metadata

Authors/Creators:
  • Beyersdorff, O
  • Kullmann, O
Copyright, Publisher and Additional Information: © 2014, Springer. This is an author produced version of a paper published in Theory and Applications of Satisfiability Testing. Uploaded in accordance with the publisher's self-archiving policy. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-09284-3_13
Dates:
  • Published: 2014
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: 16 Oct 2014 10:09
Last Modified: 01 Aug 2015 01:54
Published Version: http://dx.doi.org/10.1007/978-3-319-09284-3_13
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Identification Number: https://doi.org/10.1007/978-3-319-09284-3_13

Share / Export

Statistics