Backjumping for Quantified Boolean Logic satisfiability

, &
Artificial Intelligence 145 (1-2):99-120 (2003)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(02)00373-9

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

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

Local search for Boolean Satisfiability with configuration checking and subscore.Shaowei Cai & Kaile Su - 2013 - Artificial Intelligence 204 (C):75-98.
Encoding deductive argumentation in quantified Boolean formulae.Philippe Besnard, Anthony Hunter & Stefan Woltran - 2009 - Artificial Intelligence 173 (15):1406-1423.
Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition.Rina Dechter - 1990 - Artificial Intelligence 41 (3):273-312.
KT and S4 Satisfiability in a Constraint Logic Environment.Lynn Stevenson, Katarina Britz & Tertia Hörne - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), PRICAI 2008: Trends in Artificial Intelligence. Springer. pp. 370--381.
Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs.Miroslaw Truszczyński - 2010 - Artificial Intelligence 174 (16-17):1285-1306.
Determining if (FC-) (conflict-directed) backjumping visits a given node is NP-hard.Bernd S. W. Schröder - 2001 - Artificial Intelligence 132 (1):105-117.
Boolean algebras of conditionals, probability and logic.Tommaso Flaminio, Lluis Godo & Hykel Hosni - 2020 - Artificial Intelligence 286 (C):103347.
The satisfiability constraint gap.Ian P. Gent & Toby Walsh - 1996 - Artificial Intelligence 81 (1-2):59-80.
On the satisfiability of circumscription.Vladimir Lifschitz - 1986 - Artificial Intelligence 28 (1):17-27.
Probabilistic sentence satisfiability: An approach to PSAT.T. C. Henderson, R. Simmons, B. Serbinowski, M. Cline, D. Sacharny, X. Fan & A. Mitiche - 2020 - Artificial Intelligence 278 (C):103199.

Analytics

Added to PP
2020-12-22

Downloads
5 (#847,061)

6 months
4 (#1,635,958)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references