Skip to content

Backdoors to Acyclic SAT.

Serge Gaspers, Stefan Szeider

VenueA*ICALP
Year2012
ProceedingsICALP (1)

Browse the full ICALP paper archive.