Sciweavers

Easily Refutable Subformulas of Large Random 3CNF Formulas
Recent countries visiting this post
Easily Refutable Subformulas of Large Random 3CNF Formulas
us4United States
ru2Russian Federation