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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

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

Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability.Shaowei Cai & Zhendong Lei - 2020 - Artificial Intelligence 287 (C):103354.
On the power of clause-learning SAT solvers as resolution engines.Knot Pipatsrisawat & Adnan Darwiche - 2011 - Artificial Intelligence 175 (2):512-525.
The clause as a locus of grammar and interaction.Elizabeth Couper-Kuhlen & Sandra A. Thompson - 2005 - Discourse Studies 7 (4-5):481-505.
Clause tableaux for maximum and minimum satisfiability.Josep Argelich, Chu Min Li, Felip Manyà & Joan Ramon Soler - 2021 - Logic Journal of the IGPL 29 (1):7-27.
The Consistency of Medical Conscience Clause in the Light of the Abortion Debate.Krzysztof Jaworski - 2016 - Diametros 47:84-97.
Beyond the Two-Clause Sentence: Acquisition of Clause Chaining in Six Languages.Hannah S. Sarvasy & Soonja Choi - 2020 - Frontiers in Psychology 11.
Effects of questioning unaware problem solvers in a "verbal conditioning" task.Theodore R. Dixon & Alan E. Moulton - 1970 - Journal of Experimental Psychology 83 (3p1):431.
Making connections – linguistic or pragmatic?Robyn Carston - unknown
Propertius 1.1 and Callimachus, Lyrica, Fr.228?J. N. O'sullivan - 1976 - Classical Quarterly 26 (01):107-.
Propertius 1.1 and Callimachus, Lyrica, Fr.228?J. N. O'sullivan - 1976 - Classical Quarterly 26 (1):107-109.
Locality and Control with Infinitives of Result.Matthew Whelpton - 2002 - Natural Language Semantics 10 (3):167-210.
The insanity defence without mental illness? Some considerations.Luca Malatesti, Marko Jurjako & Gerben Meynen - 2020 - International Journal of Law and Psychiatry 71.
Relative clause structure, relative clause perception, and the change from SOV to SVO.Francesco Antinucci, Alessandro Duranti & Lucyna Gebert - 1979 - Cognition 7 (2):145-176.
In Which Context is the Option Clause Desirable?Mathieu Bédard - 2016 - Journal of Business Ethics 139 (2):287-297.
Title IX: Beyond equal protection.David S. Cohen - manuscript

Analytics

Added to PP
2020-12-22

Downloads
11 (#1,133,540)

6 months
7 (#421,763)

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