Skip to content

Worst Case Bounds for Some NP-Complete Modified Horn-SAT Problems.

Stefan Porschen, Ewald Speckenmeyer

VenueASAT
Year2004
ProceedingsSAT (Selected Papers

Browse the full SAT paper archive.