Backdoors to Acyclic SAT

Serge Gaspers, Stefan Szeider
January 2011
bib

Abstract

Full Citation:

Serge Gaspers, Stefan Szeider. Backdoors to Acyclic SAT. 10 2011, Technical report 1110.6384, Arxiv.org.

Type
Technical Report
Stefan Szeider
Stefan Szeider
Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.