On the power of clause-learning SAT solvers as resolution engines

&
Artificial Intelligence 175 (2):512-525 (2011)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2010.10.002

Links

PhilArchive



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

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

Clause vivification by unit propagation in CDCL SAT solvers.Chu-Min Li, Fan Xiao, Mao Luo, Felip Manyà, Zhipeng Lü & Yu Li - 2020 - Artificial Intelligence 279 (C):103197.
The learning power of belief revision.Kevin Kelly - unknown
The Depth of Resolution Proofs.Alasdair Urquhart - 2011 - Studia Logica 99 (1-3):349-364.
Resolution-based methods for modal logics.H. de Nivelle, R. Schmidt & U. Hustadt - 2000 - Logic Journal of the IGPL 8 (3):265-292.
Networked control: Search engines and the symmetry of confidence.Bernhard Rieder - 2005 - International Review of Information Ethics 3:26-32.
Ethical subjectification and search engines: ethics reconsidered.Tobias Blanke - 2005 - International Review of Information Ethics 3:34-38.
On the (Ir)relevance of Psycholinguistics for Anaphora Resolution.Lucas Champollion - unknown
The Consistency of Medical Conscience Clause in the Light of the Abortion Debate.Krzysztof Jaworski - 2016 - Diametros 47:84-97.
Spending clause litigation in the Roberts court.Samuel R. Bagenstos - unknown
Web search engines and distributed assessment systems.Christophe Heintz - 2006 - Pragmatics and Cognition 14 (2):387-409.
Introduction to Mathematics of Satisfiability.Victor W. Marek - 2009 - Taylor & Francis.
Decision procedures and model building in equational clause logic.C. Fermuller & A. Leitsch - 1998 - Logic Journal of the IGPL 6 (1):17-41.
Clause trees: a tool for understanding and implementing resolution in automated reasoning.J. D. Horton & Bruce Spencer - 1997 - Artificial Intelligence 92 (1-2):25-89.
The Desirability of a Property Clause: Michelman's Defence of Liberalism.Thaddeus Metz - 2013 - Stellenbosch Law Review 24 (2):312-28.
The Myth of Automated Meaning.James Caufield - 2006 - International Review of Information Ethics 5:09.

Analytics

Added to PP
2020-12-22

Downloads
10 (#1,165,120)

6 months
5 (#629,136)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Add more references