Skip to content

On Fixed-Parameter Tractable Parameterizations of SAT.

Stefan Szeider

VenueASAT
Year2003
ProceedingsSAT

Browse the full SAT paper archive.