Backdoors into heterogeneous classes of SAT and CSP

Gaspers, S., Misra, N., Ordyniak, S. et al. (2 more authors) (2017) Backdoors into heterogeneous classes of SAT and CSP. Journal of Computer and System Sciences, 85. pp. 38-56. ISSN 0022-0000



Copyright, Publisher and Additional Information: © 2016 The Author(s). Published by Elsevier Inc. This is an open access article under the CC BY license (
Keywords: Constraint satisfaction; Satisfiability; Backdoor set; Parameterized complexity
  • Accepted: 23 October 2016
  • Published (online): 3 November 2016
  • Published: May 2017
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 14 May 2018 14:49
Last Modified: 24 Oct 2018 10:11
Published Version:
Status: Published
Publisher: Elsevier
Refereed: Yes
Identification Number:
Related URLs:

Share / Export