随笔 - 260  文章 - 0  评论 - 0  阅读 - 52987 
09 2020 档案
文献阅读——Conflict-Driven Clause Learning SAT Solvers
摘要：Joao Marques-Silva, Ines Lynce and Sharad Malik 4.1. Introduction One of the main reasons for the widespread use of SAT in many applications is that C 阅读全文
posted @ 2020-09-25 10:56 海阔凭鱼跃越 编辑
数据的区间量化
摘要：1. 2.分位数分箱 固定宽度的分箱容易计算，但是如果计数值中有比较大的缺口，就会产生很多没有任何数据的空箱子。根据数据的分布特点，进行自适应的箱体定位，就可以解决这个问题。这种方法可以使用数据分布的分位数来实现。 分位数：分位数是将数据划分为相等的若干分数的值。例如，中位数（即二分位数）可以将数据 阅读全文
posted @ 2020-09-11 19:27 海阔凭鱼跃越 编辑
文献学习-Yet another Local Search Solver and Lingeling and Friends Entering the SAT Competition 2014
摘要：Armin Biere Institute for Formal Models and Verification Johannes Kepler University Linz Abstract—This paper serves as solver description for the SAT 阅读全文
posted @ 2020-09-06 21:03 海阔凭鱼跃越 编辑

点击右上角即可分享
微信分享提示