Extension Variables in QBF Resolution

Beyersdorff, O orcid.org/0000-0002-2870-1648, Chew, L and Janota, M (2016) Extension Variables in QBF Resolution. In: AAAI Workshop: Beyond NP. AAAI-16 workshop on Beyond NP, 12-13 Feb 2016, Phoenix, Arizona USA. Association for the Advancement of Artificial Intelligence

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Copyright, Publisher and Additional Information:

(c) 2016, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.

Dates:
  • Published: 2016
  • Published (online): 2016
  • Accepted: 30 November 2015
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds)
Funding Information:
Funder
Grant number
EPSRC
EP/L024233/1
John Templeton Foundation - DO NOT USE
48138
Depositing User: Symplectic Publications
Date Deposited: 10 Dec 2015 14:17
Last Modified: 23 Mar 2018 12:40
Status: Published
Publisher: Association for the Advancement of Artificial Intelligence
Open Archives Initiative ID (OAI ID):

Export

Statistics