2024年1月23日
金句记录
摘要： 假定大家熟悉命题逻辑以及DP算法。 In the following discussions, we assume that the reader is familiar with propositional logic and the Davis-Putnam method [3]. 文献： 3. 阅读全文
posted @ 2024-01-23 19:42 海阔凭鱼跃越 阅读(7) 评论(0) 推荐(0) 编辑