Sciweavers

On the Complexity of Unsatisfiability Proofs for Random k-CNF Formulas
Recent countries visiting this post
On the Complexity of Unsatisfiability Proofs for Random k-CNF Formulas
us4United States
ru1Russian Federation