BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
set (4)
sat (2)
bound (2)
horn (2)
formula (2)

Stem backdoor$ (all stems)

10 papers:

ICSTSAT-2013-MisraORS #bound #detection #set
Upper and Lower Bounds for Weak Backdoor Set Detection (NM, SO, VR, SS), pp. 394–402.
ICALPICALP-v1-2012-GaspersS #satisfiability
Backdoors to Acyclic SAT (SG, SS), pp. 363–374.
ICSTSAT-2012-GaspersS #satisfiability
Strong Backdoors to Nested Satisfiability (SG, SS), pp. 72–85.
CHICHI-2011-HuotCD #named
TorusDesktop: pointing via the backdoor is sometimes shorter (SH, OC, PD), pp. 829–838.
ICSTSAT-2009-DilkinaGS #learning
Backdoors in the Context of Learning (BND, CPG, AS), pp. 73–79.
Computation of Renameable Horn Backdoors (SK, MK, CS), pp. 154–160.
ICSTSAT-2008-KottlerKS08a #bound #np-hard #satisfiability #subclass #using
A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors (SK, MK, CS), pp. 161–167.
ICSTSAT-2007-SamerS #quantifier #set
Backdoor Sets of Quantified Boolean Formulas (MS, SS), pp. 230–243.
ICSTSAT-2007-Szeider #set
Matched Formulas and Backdoor Sets (SS), pp. 94–99.
SATSAT-2004-NishimuraRS #detection #set
Detecting Backdoor Sets with Respect to Horn and Binary Clauses (NN, PR, SS), pp. 96–103.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.