Clause vivification by unit propagation in CDCL SAT solvers

, , , , &
Artificial Intelligence 279 (C):103197 (2020)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2019.103197

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,225

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On the power of clause-learning SAT solvers as resolution engines.Knot Pipatsrisawat & Adnan Darwiche - 2011 - Artificial Intelligence 175 (2):512-525.
Chao Yue Yu Hui Gui Mao Zedong de Xin Lu Li Cheng.Xianming He - 2002
Fan luo ji xue yu gou li lun.Minxia Luo - 2010 - Beijing: Ke xue chu ban she. Edited by Huacan He.
She Hui Li Xing de Sheng Cheng Yu Pei Yu: Zhongguo Shi Min She Hui de Jia Zhi Li Xiang Yu Shi Jian Luo Ji.Zushe Yuan - 2011 - Zhongguo She Hui Ke Xue Chu Ban She.
Chung-Hua Min Kuo Tu Li Tzu Chu Yü Ya-Chou Wên T'i.Chia-sên Chang - 1955 - Tzu Yu Ch'u Pan Shê.
Yanzi: lian zhe ren xin: er qian wu bai nian qian de "bai xing lu xian".Zunhua Guan - 2014 - Jinan Shi: Jinan chu ban she.
Wan Qing Min chu de li xue yu jing xue.Zhaojun Zhang - 2007 - Beijing: Shang wu yin shu guan.
Shu li luo ji chu bu.Shangkui Mo - 1980 - Shanghai (Shanghai Shaoxing lu 54 hao): Xin hua shu dian Shanghai fa xing suo fa xing.
Bian zheng li shi: cong Heige'er, Makesi, Mao Zedong de bian zheng si xiang yu li shi bian ge lun she hui zhu yi de zhe xue ji chu.Yongji Liu - 1999 - Beijing Shi: Zhongguo jing ji chu ban she.
Fan zui lun zheng yi wen ti yan jiu =.Jidong Jia - 2021 - Beijing: Fa lü chu ban she.

Analytics

Added to PP
2020-12-22

Downloads
17 (#1,149,837)

6 months
4 (#1,247,093)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Li Min
Nankai University

Citations of this work

SAT Competition 2020.Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo & Martin Suda - 2021 - Artificial Intelligence 301 (C):103572.

Add more citations

References found in this work

No references found.

Add more references