- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Exploiting symmetries within constraint satisfaction search☆☆This paper is an extended and updated version of [16], presented at the IJCAI-99 conference [Book Review]
Artificial Intelligence 129 (1-2):133-163 (2001)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
The Constraint Satisfaction Problem and Universal Algebra.Libor Barto - 2015 - Bulletin of Symbolic Logic 21 (3):319-337.
A new and unique prediction for cue-search in a parallel-constraint satisfaction network model: The attraction search effect.Marc Jekel, Andreas Glöckner & Arndt Bröder - 2018 - Psychological Review 125 (5):744-768.
Evolution of meaningful information generation through the evolution of life (Biosemiotics Gatherings 2003).Christophe Menant - manuscript
Local Models Semantics, or contextual reasoning=locality+compatibility☆☆This paper is a substantially revised and extended version of a paper with the same title presented at the 1998 Knowledge Representation and Reasoning Conference (KR'98). The order of the names is alphabetical. [REVIEW]Chiara Ghidini & Fausto Giunchiglia - 2001 - Artificial Intelligence 127 (2):221-259.
Heuristic evaluation functions in artificial intelligence search algorithms.Richard E. Korf - 1995 - Minds and Machines 5 (4):489-498.
The complexity of recursive constraint satisfaction problems.Victor W. Marek & Jeffrey B. Remmel - 2010 - Annals of Pure and Applied Logic 161 (3):447-457.
Sophistication about Symmetries.Neil Dewar - 2019 - British Journal for the Philosophy of Science 70 (2):485-521.
On forward checking for non-binary constraint satisfaction.Christian Bessière, Pedro Meseguer, Eugene C. Freuder & Javier Larrosa - 2002 - Artificial Intelligence 141 (1-2):205-224.
Variable-Centered Consistency in Model RB.Liang Li, Tian Liu & Ke Xu - 2013 - Minds and Machines 23 (1):95-103.
Increasing tree search efficiency for constraint satisfaction problems.Robert M. Haralick & Gordon L. Elliott - 1980 - Artificial Intelligence 14 (3):263-313.
Extended Preferences and Interpersonal Comparisons of Well‐being.Hilary Greaves & Harvey Lederman - 2016 - Philosophy and Phenomenological Research 96 (3):636-667.
The empirical status of symmetries in physics.P. Kosso - 2000 - British Journal for the Philosophy of Science 51 (1):81-98.
Oral culture and the diffusion of reformation ideas.Robert Scribner - 1984 - History of European Ideas 5 (3):237-256.
Temporality and Rhythmanalysis in Brussels. Exploring variations in the spatio-temporal appropriation of a multicultural metropolis.Koen De Wandeler - forthcoming - Rhuthmos.
Structural realism and abductive-transcendental arguments.Holger Lyre - 2007 - In P. Kerszberg, J. Petitot & M. Bitbol (eds.), Constituting Objectivity. Transcendental Perspectives on Modern Physics.
Analytics
Added to PP
2020-12-22
Downloads
5 (#1,541,296)
6 months
4 (#792,011)
2020-12-22
Downloads
5 (#1,541,296)
6 months
4 (#792,011)
Historical graph of downloads
Author's Profile
Citations of this work
Automatically improving constraint models in Savile Row.Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel & Patrick Spracklen - 2017 - Artificial Intelligence 251 (C):35-61.
Conjure: Automatic Generation of Constraint Models from Problem Specifications.Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel & Peter Nightingale - 2022 - Artificial Intelligence 310 (C):103751.
Variable symmetry breaking in numerical constraint problems.Alexandre Goldsztejn, Christophe Jermann, Vicente Ruiz de Angulo & Carme Torras - 2015 - Artificial Intelligence 229 (C):105-125.
References found in this work
Increasing tree search efficiency for constraint satisfaction problems.Robert M. Haralick & Gordon L. Elliott - 1980 - Artificial Intelligence 14 (3):263-313.
Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition.Rina Dechter - 1990 - Artificial Intelligence 41 (3):273-312.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-dmxst uwo