Extended clause learning

Artificial Intelligence 174 (15):1277-1284 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2010.07.008

Other Versions

No versions found

Links

PhilArchive



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

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.
Removing redundancy from a clause.Georg Gottlob & Christian G. Fermüller - 1993 - Artificial Intelligence 61 (2):263-289.
Non-Horn clause logic programming.Xumin Nie - 1997 - Artificial Intelligence 92 (1-2):243-258.
Π-representation: A clause representation for parallel search.Daniel H. Fishman & Jack Minker - 1975 - Artificial Intelligence 6 (2):103-127.
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.
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.
Integration in Educational Systems Extended with Artificial Intelligence – Based Technologies.Rossitza Kaltenborn - 2022 - Automatica and Informatics 1 (1):36-41.
Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability.Shaowei Cai & Zhendong Lei - 2020 - Artificial Intelligence 287 (C):103354.
Definite clause grammars for language analysis—A survey of the formalism and a comparison with augmented transition networks.Fernando C. N. Pereira & David H. D. Warren - 1980 - Artificial Intelligence 13 (3):231-278.
Artificial intelligence and learning environments: Preface.William J. Clancey & Elliot Soloway - 1990 - Artificial Intelligence 42 (1):1-6.

Analytics

Added to PP
2020-12-22

Downloads
7 (#1,642,802)

6 months
5 (#1,062,008)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Add more references