Skip to content

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

Stefan Porschen, Ewald Speckenmeyer

VenueASAT
Year2004
ProceedingsSAT

Browse the full SAT paper archive.