编译器中的MINSAT算法学习
摘要：学习在解决逻辑最小化问题MINSAT的算法编译器中进行，其中底层命题公式为合取范式（CNF），并且变量的真/假值与成本相关。每个类别由可以从给定的命题公式和通过固定或删除变量以及删除子句而衍生的真/假值的成本的所有实例组成。学习步骤开始于编译器为给定的类别构建解决方案算法。该步骤将该算法应用于该类别的相对较少实例，分析算法在这些实例上的性能，并修改底层命题公式，以便该算法在该类别的所有实例上表现更好。
作者：Anja Remshagen and Klaus Truemper
论文ID：cs/0312032
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23