Backdoors to Acyclic SAT (bibtex)
by ,
Reference:
Backdoors to Acyclic SATSerge Gaspers, Stefan SzeiderOctober 2011, Technical report 1110.6384, Arxiv.org.
Bibtex Entry:
@string{oct="October"}
@TECHREPORT{GaspersSzeider11a,
  author = {Serge Gaspers and Stefan Szeider},
  title = {Backdoors to Acyclic {SAT}},
  institution =  {Arxiv.org},
  year = 2011,
  number = {1110.6384},
  month  = OCT,
}
Powered by bibtexbrowser