- Filtering algorithms for the multiset ordering constraint.Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel & Toby Walsh - 2009 - Artificial Intelligence 173 (2):299-328.details
|
|
Domain permutation reduction for constraint satisfaction problems.Martin J. Green & David A. Cohen - 2008 - Artificial Intelligence 172 (8-9):1094-1118.details
|
|
Incremental qualitative temporal reasoning: Algorithms for the Point Algebra and the ORD-Horn class.Alfonso Gerevini - 2005 - Artificial Intelligence 166 (1-2):37-80.details
|
|
Solving weighted CSP by maintaining arc consistency.Javier Larrosa & Thomas Schiex - 2004 - Artificial Intelligence 159 (1-2):1-26.details
|
|
Temporal constraint networks.Rina Dechter, Itay Meiri & Judea Pearl - 1991 - Artificial Intelligence 49 (1-3):61-95.details
|
|
A generic arc-consistency algorithm and its specializations.Pascal Van Hentenryck, Yves Deville & Choh-Man Teng - 1992 - Artificial Intelligence 57 (2-3):291-321.details
|
|
The Arthur Prior memorial conference, Christchurch, 1989.B. J. Copeland & D. R. Murdoch - 1991 - Journal of Symbolic Logic 56 (1):372-382.details
|
|
Solving connected row convex constraints by variable elimination.Yuanlin Zhang & Satyanarayana Marisetti - 2009 - Artificial Intelligence 173 (12-13):1204-1219.details
|
|
Complexity results and algorithms for possibilistic influence diagrams.Laurent Garcia & Régis Sabbadin - 2008 - Artificial Intelligence 172 (8-9):1018-1044.details
|
|
Modelling and solving temporal reasoning as propositional satisfiability.Duc Nghia Pham, John Thornton & Abdul Sattar - 2008 - Artificial Intelligence 172 (15):1752-1782.details
|
|
Introduction: Special Issue on Distributed Constraint Satisfaction.Boi Faltings & Makoto Yokoo - 2005 - Artificial Intelligence 161 (1-2):1-5.details
|
|
An optimal k-consistency algorithm.Martin C. Cooper - 1989 - Artificial Intelligence 41 (1):89-95.details
|
|
Solving multi-granularity temporal constraint networks.Claudio Bettini, X. Sean Wang & Sushil Jajodia - 2002 - Artificial Intelligence 140 (1-2):107-152.details
|
|
Abstracting soft constraints: Framework, properties, examples.Stefano Bistarelli, Philippe Codognet & Francesca Rossi - 2002 - Artificial Intelligence 139 (2):175-211.details
|
|
Thick set inversion.B. Desrochers & L. Jaulin - 2017 - Artificial Intelligence 249:1-18.details
|
|
Constraint propagation as information maximization.A. Nait Abdallah & M. H. van Emden - 2013 - Artificial Intelligence 197 (C):25-38.details
|
|
Qualitative reasoning with directional relations.D. Wolter & J. H. Lee - 2010 - Artificial Intelligence 174 (18):1498-1507.details
|
|
Fuzzy constraint networks for signal pattern recognition.P. Félix, S. Barro & R. Marín - 2003 - Artificial Intelligence 148 (1-2):103-140.details
|
|
Planning with constraints.Mark Stefik - 1981 - Artificial Intelligence 16 (2):111-139.details
|
|
Constraint propagation with interval labels.Ernest Davis - 1987 - Artificial Intelligence 32 (3):281-331.details
|
|
A theory of conflict resolution in planning.Qiang Yang - 1992 - Artificial Intelligence 58 (1-3):361-392.details
|
|
An optimal backtrack algorithm for tree-structured constraint satisfaction problems.Roberto J. Bayardo & Daniel P. Miranker - 1994 - Artificial Intelligence 71 (1):159-181.details
|
|
Problem solving by searching for models with a theorem prover.Shie-Jue Lee & David A. Plaisted - 1994 - Artificial Intelligence 69 (1-2):205-233.details
|
|
Investigating production system representations for non-combinatorial match.Milind Tambe & Paul S. Rosenbloom - 1994 - Artificial Intelligence 68 (1):155-199.details
|
|
Constraints, consistency and closure.Peter Jeavons, David Cohen & Martin C. Cooper - 1998 - Artificial Intelligence 101 (1-2):251-265.details
|
|
Localized planning with action-based constraints.Amy L. Lansky - 1998 - Artificial Intelligence 98 (1-2):49-136.details
|
|
Spatial relation learning for explainable image classification and annotation in critical applications.Régis Pierrard, Jean-Philippe Poli & Céline Hudelot - 2021 - Artificial Intelligence 292 (C):103434.details
|
|
Towards breaking more composition symmetries in partial symmetry breaking.Jimmy H. M. Lee & Zichen Zhu - 2017 - Artificial Intelligence 252 (C):51-82.details
|
|
Domain filtering consistencies for non-binary constraints.Christian Bessiere, Kostas Stergiou & Toby Walsh - 2008 - Artificial Intelligence 172 (6-7):800-822.details
|
|
Random constraint satisfaction: Easy generation of hard (satisfiable) instances.Ke Xu, Frédéric Boussemart, Fred Hemery & Christophe Lecoutre - 2007 - Artificial Intelligence 171 (8-9):514-534.details
|
|
Qualitative simulation.Benjamin Kuipers - 1986 - Artificial Intelligence 29 (3):289-338.details
|
|
A gentle introduction to Numerica.Pascal Van Hentenryck - 1998 - Artificial Intelligence 103 (1-2):209-235.details
|
|
Local search with constraint propagation and conflict-based heuristics.Narendra Jussien & Olivier Lhomme - 2002 - Artificial Intelligence 139 (1):21-45.details
|
|
On point-duration networks for temporal reasoning.I. Navarrete, A. Sattar, R. Wetprasit & R. Marin - 2002 - Artificial Intelligence 140 (1-2):39-70.details
|
|
No more “Partial” and “Full Looking Ahead”.Edward Tsang - 1998 - Artificial Intelligence 98 (1-2):351-361.details
|
|
A probabilistic approach to solving crossword puzzles.Michael L. Littman, Greg A. Keim & Noam Shazeer - 2002 - Artificial Intelligence 134 (1-2):23-55.details
|
|
Variable-Centered Consistency in Model RB.Liang Li, Tian Liu & Ke Xu - 2013 - Minds and Machines 23 (1):95-103.details
|
|
Automatic generation of dominance breaking nogoods for a class of constraint optimization problems.Jimmy H. M. Lee & Allen Z. Zhong - 2023 - Artificial Intelligence 323 (C):103974.details
|
|
Multi-agent path finding with mutex propagation.Han Zhang, Jiaoyang Li, Pavel Surynek, T. K. Satish Kumar & Sven Koenig - 2022 - Artificial Intelligence 311 (C):103766.details
|
|
Qualitative reasoning about relative direction of oriented points.Till Mossakowski & Reinhard Moratz - 2012 - Artificial Intelligence 180-181 (C):34-45.details
|
|
Properties of tree convex constraints.Yuanlin Zhang & Eugene C. Freuder - 2008 - Artificial Intelligence 172 (12-13):1605-1612.details
|
|
Asynchronous aggregation and consistency in distributed constraint satisfaction.Marius-Călin Silaghi & Boi Faltings - 2005 - Artificial Intelligence 161 (1-2):25-53.details
|
|
Constraint satisfaction from a deductive viewpoint.W. Bibel - 1988 - Artificial Intelligence 35 (3):401-413.details
|
|
Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition.Rina Dechter - 1990 - Artificial Intelligence 41 (3):273-312.details
|
|
Partial constraint satisfaction.Eugene C. Freuder & Richard J. Wallace - 1992 - Artificial Intelligence 58 (1-3):21-70.details
|
|
The complexity of constraint satisfaction revisited.Alan K. Mackworth & Eugene C. Freuder - 1993 - Artificial Intelligence 59 (1-2):57-62.details
|
|
Constraint relaxation may be perfect.Ugo Montanari & Francesca Rossi - 1991 - Artificial Intelligence 48 (2):143-170.details
|
|
Model-based computing: Developing flexible machine control software.Markus P. J. Fromherz, Vijay A. Saraswat & Daniel G. Bobrow - 1999 - Artificial Intelligence 114 (1-2):157-202.details
|
|
An optimal coarse-grained arc consistency algorithm.Christian Bessière, Jean-Charles Régin, Roland H. C. Yap & Yuanlin Zhang - 2005 - Artificial Intelligence 165 (2):165-185.details
|
|
Network-based heuristics for constraint-satisfaction problems.Rina Dechter & Judea Pearl - 1987 - Artificial Intelligence 34 (1):1-38.details
|
|