2023年11月18日
早期文献给出的SAT术语
摘要： SAT问题的通俗表述 Given a propositional formula, determining whether there exists a truth assignment for its propositional variables such that the formula ev 阅读全文
posted @ 2023-11-18 13:33 海阔凭鱼跃越 阅读(44) 评论(0) 推荐(0) 编辑