V
📝 描述
Recent paper on the hardness of random formulas for SAT solver; bounded tree-width.
⭐ 用户评价
暂无评价