Skip to content

The Phase Transition in Random Horn Satisfiability and Its Algorithmic Implications.

Gabriel Istrate

VenueA*SODA
Year1999
ProceedingsSODA

Browse the full SODA paper archive.