Maintaining reversible DAC for Max-CSP

, &
Artificial Intelligence 107 (1):149-163 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(98)00108-8

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,809

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

Solving weighted CSP by maintaining arc consistency.Javier Larrosa & Thomas Schiex - 2004 - Artificial Intelligence 159 (1-2):1-26.
Learning general constraints in CSP.Michael Veksler & Ofer Strichman - 2016 - Artificial Intelligence 238:135-153.
A comparison of structural CSP decomposition methods.Georg Gottlob, Nicola Leone & Francesco Scarcello - 2000 - Artificial Intelligence 124 (2):243-282.
Sensor networks and distributed CSP: communication, computation and complexity.Ramón Béjar, Carmel Domshlak, Cèsar Fernández, Carla Gomes, Bhaskar Krishnamachari, Bart Selman & Magda Valls - 2005 - Artificial Intelligence 161 (1-2):117-147.
Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP.Minh Binh Do & Subbarao Kambhampati - 2001 - Artificial Intelligence 132 (2):151-182.
Planning graph as the basis for deriving heuristics for plan synthesis by state space and CSP search.XuanLong Nguyen, Subbarao Kambhampati & Romeo S. Nigenda - 2002 - Artificial Intelligence 135 (1-2):73-123.
Resolution for Max-SAT.María Luisa Bonet, Jordi Levy & Felip Manyà - 2007 - Artificial Intelligence 171 (8-9):606-618.
Min-max Computation Tree Logic.Pallab Dasgupta, P. P. Chakrabarti, Jatindra Kumar Deka & Sriram Sankaranarayanan - 2001 - Artificial Intelligence 127 (1):137-162.
Conspiracy numbers for min-max search.David Allen McAllester - 1988 - Artificial Intelligence 35 (3):287-310.
A logical approach to efficient Max-SAT solving.Javier Larrosa, Federico Heras & Simon de Givry - 2008 - Artificial Intelligence 172 (2-3):204-233.

Analytics

Added to PP
2020-12-22

Downloads
15 (#1,229,929)

6 months
6 (#851,951)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Arc consistency for soft constraints.Martin Cooper & Thomas Schiex - 2004 - Artificial Intelligence 154 (1-2):199-227.

Add more citations

References found in this work

Partial constraint satisfaction.Eugene C. Freuder & Richard J. Wallace - 1992 - Artificial Intelligence 58 (1-3):21-70.

Add more references