Skip to content

Satisfiability Threshold for Power Law Random 2-SAT in Configuration Model.

Oleksii Omelchenko, Andrei A. Bulatov

VenueASAT
Year2019
ProceedingsSAT

Browse the full SAT paper archive.