Backdoors to Acyclic SAT

Gaspers, Serge; Szeider, Stefan

by Serge Gaspers, Stefan Szeider

Reference:

Backdoors to Acyclic SATSerge Gaspers, Stefan Szeider10 2011, Technical report 1110.6384, Arxiv.org.

Bibtex Entry:

@TECHREPORT{GaspersSzeider11a,
  author = {Serge Gaspers and Stefan Szeider},
  title = {Backdoors to Acyclic {SAT}},
  institution =  {Arxiv.org},
  year = 2011,
  number = {1110.6384},
  month  = {10},
}