Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivny. Backdoors into heterogeneous classes of SAT and CSP. J. Comput. Syst. Sci., 85:38-56, 2017. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Backdoors into Heterogeneous Classes of SAT and CSPSerge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivny. AAAI 2014: 2652-2658 [doi] Backdoor Treewidth for SATRobert Ganian, M. S. Ramanujan, Stefan Szeider. sat 2017: 20-37 [doi] Strong Backdoors to Nested SatisfiabilitySerge Gaspers, Stefan Szeider. sat 2012: 72-85 [doi] Matched Formulas and Backdoor SetsStefan Szeider. sat 2007: 94-99 [doi]
The following publications are possibly variants of this publication: