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 Jul 2014, Vienna, Austria. Lecture Notes in Computer Science , 8561 L . Springer , 170 - 187.

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
  • Beyersdorff, O
  • Kullmann, O
Editors:
  • Sinz, C
  • Egly, U
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 & Physical Sciences (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: 19 Dec 2022 13:28
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: 10.1007/978-3-319-09284-3_13
Open Archives Initiative ID (OAI ID):

Export

Statistics


CORE (COnnecting REpositories)