A framework for step-wise explaining how to solve constraint satisfaction problems

, &
Artificial Intelligence 300 (C):103550 (2021)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2021.103550

Links

PhilArchive



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

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

The complexity of recursive constraint satisfaction problems.Victor W. Marek & Jeffrey B. Remmel - 2010 - Annals of Pure and Applied Logic 161 (3):447-457.
Information Processing and Constraint Satisfaction in Wason’s Selection Task.Emmanuel Genot - 2012 - In Jesus M. Larrazabal (ed.), Cognition, reasoning, emotion, Action. CogSc-12. Proceedings of the ILCLI International Workshop on Cognitive Science. pp. 153-162.
Branch and bound algorithms to solve semiring constraint satisfaction problems.Louise Leenen & Aditya Ghose - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), Pricai 2008: Trends in Artificial Intelligence. Springer. pp. 991--997.
Variable-Centered Consistency in Model RB.Liang Li, Tian Liu & Ke Xu - 2013 - Minds and Machines 23 (1):95-103.
確率的制約充足アルゴリズムにおける局所最適構造.西原 清一 水野 一徳 - 2001 - Transactions of the Japanese Society for Artificial Intelligence 16:38-45.
Evolution of meaningful information generation through the evolution of life (Biosemiotics Gatherings 2003).Christophe Menant - manuscript
Qualitative constraint satisfaction problems: An extended framework with landmarks.Sanjiang Li, Weiming Liu & Shengsheng Wang - 2013 - Artificial Intelligence 201 (C):32-58.
Heuristic evaluation functions in artificial intelligence search algorithms.Richard E. Korf - 1995 - Minds and Machines 5 (4):489-498.
The Constraint Satisfaction Problem and Universal Algebra.Libor Barto - 2015 - Bulletin of Symbolic Logic 21 (3):319-337.
A Compactness Theorem For Infinite Constraint Satisfaction.Robert Cowen - 1998 - Reports on Mathematical Logic:97-107.
Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction.John Hooker - 2011 - Wiley.
Constraint Satisfaction, Irredundant Axiomatisability and Continuous Colouring.Marcel Jackson & Belinda Trotta - 2013 - Studia Logica 101 (1):65-94.
Varieties of the generality constraint.Lenny Clapp & Laura Duhau - 2011 - Manuscrito 34 (2):397-434.
動的重み付き最大制約充足問題に基づくナーススケジューリングシステム―暫定制約の導入に基づく解の安定性の実現―.磯村 厚誌 服部 宏充 - 2005 - Transactions of the Japanese Society for Artificial Intelligence 20:25-35.
Constraint Satisfaction in Logic Programming.Pascal Van Hentenryck - 1989 - MIT Press (MA).

Analytics

Added to PP
2022-11-21

Downloads
8 (#1,308,042)

6 months
6 (#510,434)

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

No references found.

Add more references