Clause vivification by unit propagation in CDCL SAT solvers

机译：CDCL SAT溶剂中的单位传播中的条款vivization

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Chu-Min Li; Fan Xiao; Mao Luo; Felip Manyà; Zhipeng Lü; Yu Li;
展开▼
作者单位

展开▼
年度 2020
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Clause vivification by unit propagation in CDCL SAT solvers [J] . Artificial intelligence . 2020,第Feba期

机译：通过CDCL SAT求解器中的单位传播进行子句化
2. UnitWalk: A new SAT solver that uses local search guided by unit clause elimination [J] . Edward A. Hirsch, Arist Kojevnikov Annals of Mathematics and Artificial Intelligence . 2005,第1a4期

机译：UnitWalk：一种新的SAT求解器，使用通过单元子句消除指导的本地搜索
3. Study of Fine-grained Nested Parallelism in CDCL SAT Solvers [J] . JAMES EDWARDS, UZI VISHKIN ACM Transactions on Parallel Computing . 2021,第3期

机译：CDCL SAT溶剂中细粒嵌套并联性的研究
4. An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers [C] . Mao Luo, Chu-Min Li, Fan Xiao, International Joint Conference on Artificial Intelligence . 2019

机译：用于CDCL SAT求解器的有效学习子句最小化方法
5. Improving SAT Solvers by Exploiting Empirical Characteristics of CDCL. [D] . Oh, Chanseok. 2016

机译：通过利用CDCL的经验特性来改进SAT解算器。
6. The backtracking survey propagation algorithm for solving random K-SAT problems [O] . Raffaele Marino, Giorgio Parisi, Federico Ricci-Tersenghi -1

机译：解决随机K-SAT问题的回溯测量传播算法
7. UnitWalk: A new SAT solver that uses local search guided by unit clause elimination [O] . Edward A. Hirsch, Arist Kojevnikov 2002

机译：UnitWalk：一种新的SAT求解器，使用通过单元子句消除指导的局部搜索

Clause vivification by unit propagation in CDCL SAT solvers

著录项

引文网络

相似文献

相关主题

期刊订阅