- 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
Athanor: Local search over abstract constraint specifications
Artificial Intelligence 340 (C):104277 (2025)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Explorative anytime local search for distributed constraint optimization.Roie Zivan, Steven Okamoto & Hilla Peled - 2014 - Artificial Intelligence 212 (C):1-26.
Local search with constraint propagation and conflict-based heuristics.Narendra Jussien & Olivier Lhomme - 2002 - Artificial Intelligence 139 (1):21-45.
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.
Some fundamental properties of local constraint propagation.Hans-Werner Güsgen & Joachim Hertzberg - 1988 - Artificial Intelligence 36 (2):237-247.
Increasing tree search efficiency for constraint satisfaction problems.Robert M. Haralick & Gordon L. Elliott - 1980 - Artificial Intelligence 14 (3):263-313.
Local consistency in parallel constraint satisfaction networks.Simon Kasif & Arthur L. Delcher - 1994 - Artificial Intelligence 69 (1-2):307-327.
Local-MIP: Efficient local search for mixed integer programming.Peng Lin, Shaowei Cai, Mengchuan Zou & Jinkun Lin - 2025 - Artificial Intelligence 348 (C):104405.
確率的制約充足アルゴリズムにおける局所最適構造.水野 一徳 & 西原 清一 - 2001 - Transactions of the Japanese Society for Artificial Intelligence 16 (1):38-45.
Constraint satisfaction problem with bilevel constraint: application to interpretation of over-segmented images.A. Deruyver & Y. Hodé - 1997 - Artificial Intelligence 93 (1-2):321-335.
Local search characteristics of incomplete SAT procedures.Dale Schuurmans & Finnegan Southey - 2001 - Artificial Intelligence 132 (2):121-150.
Analytics
Added to PP
2024-12-28
Downloads
23 (#1,764,632)
6 months
3 (#1,840,562)
2024-12-28
Downloads
23 (#1,764,632)
6 months
3 (#1,840,562)
Historical graph of downloads
References found in 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.
Globalizing constraint models.Kevin Leo, Christopher Mears, Guido Tack & Maria Garcia de la Banda - 2022 - Artificial Intelligence 302 (C):103599.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
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