Login / Signup

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

Oleksii OmelchenkoAndrei A. Bulatov
Published in: SAT (2019)
Keyphrases
  • power law
  • objective function
  • probability distribution
  • linear programming