Strong Backdoors to Bounded Treewidth SAT

27 April 2012

Papers citing "Strong Backdoors to Bounded Treewidth SAT"

4 / 4 papers shown

Title
Backdoors into Heterogeneous Classes of SAT and CSP Serge Gaspers Neeldhara Misra S. Ordyniak Stefan Szeider Stanislav Živný 62 37 0 18 Sep 2015
On Backdoors To Tractable Constraint Languages Clément Carbonnel Martin C. Cooper E. Hébrard 69 15 0 14 Apr 2014
Backdoors to Satisfaction Serge Gaspers Stefan Szeider 90 90 0 28 Oct 2011
Backdoors to Tractable Answer-Set Programming Johannes Fichte Stefan Szeider 104 56 0 14 Apr 2011