Switch to: References

Add citations

You must login to add citations.
  1. 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.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Domain permutation reduction for constraint satisfaction problems.Martin J. Green & David A. Cohen - 2008 - Artificial Intelligence 172 (8-9):1094-1118.
    Download  
     
    Export citation  
     
    Bookmark  
  • Incremental qualitative temporal reasoning: Algorithms for the Point Algebra and the ORD-Horn class.Alfonso Gerevini - 2005 - Artificial Intelligence 166 (1-2):37-80.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Solving weighted CSP by maintaining arc consistency.Javier Larrosa & Thomas Schiex - 2004 - Artificial Intelligence 159 (1-2):1-26.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Temporal constraint networks.Rina Dechter, Itay Meiri & Judea Pearl - 1991 - Artificial Intelligence 49 (1-3):61-95.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • A generic arc-consistency algorithm and its specializations.Pascal Van Hentenryck, Yves Deville & Choh-Man Teng - 1992 - Artificial Intelligence 57 (2-3):291-321.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • The Arthur Prior memorial conference, Christchurch, 1989.B. J. Copeland & D. R. Murdoch - 1991 - Journal of Symbolic Logic 56 (1):372-382.
    Download  
     
    Export citation  
     
    Bookmark  
  • Solving connected row convex constraints by variable elimination.Yuanlin Zhang & Satyanarayana Marisetti - 2009 - Artificial Intelligence 173 (12-13):1204-1219.
    Download  
     
    Export citation  
     
    Bookmark  
  • Complexity results and algorithms for possibilistic influence diagrams.Laurent Garcia & Régis Sabbadin - 2008 - Artificial Intelligence 172 (8-9):1018-1044.
    Download  
     
    Export citation  
     
    Bookmark  
  • Modelling and solving temporal reasoning as propositional satisfiability.Duc Nghia Pham, John Thornton & Abdul Sattar - 2008 - Artificial Intelligence 172 (15):1752-1782.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Introduction: Special Issue on Distributed Constraint Satisfaction.Boi Faltings & Makoto Yokoo - 2005 - Artificial Intelligence 161 (1-2):1-5.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • An optimal k-consistency algorithm.Martin C. Cooper - 1989 - Artificial Intelligence 41 (1):89-95.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Solving multi-granularity temporal constraint networks.Claudio Bettini, X. Sean Wang & Sushil Jajodia - 2002 - Artificial Intelligence 140 (1-2):107-152.
    Download  
     
    Export citation  
     
    Bookmark  
  • Abstracting soft constraints: Framework, properties, examples.Stefano Bistarelli, Philippe Codognet & Francesca Rossi - 2002 - Artificial Intelligence 139 (2):175-211.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Thick set inversion.B. Desrochers & L. Jaulin - 2017 - Artificial Intelligence 249:1-18.
    Download  
     
    Export citation  
     
    Bookmark  
  • Constraint propagation as information maximization.A. Nait Abdallah & M. H. van Emden - 2013 - Artificial Intelligence 197 (C):25-38.
    Download  
     
    Export citation  
     
    Bookmark  
  • Qualitative reasoning with directional relations.D. Wolter & J. H. Lee - 2010 - Artificial Intelligence 174 (18):1498-1507.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Fuzzy constraint networks for signal pattern recognition.P. Félix, S. Barro & R. Marín - 2003 - Artificial Intelligence 148 (1-2):103-140.
    Download  
     
    Export citation  
     
    Bookmark  
  • Planning with constraints.Mark Stefik - 1981 - Artificial Intelligence 16 (2):111-139.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Constraint propagation with interval labels.Ernest Davis - 1987 - Artificial Intelligence 32 (3):281-331.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • A theory of conflict resolution in planning.Qiang Yang - 1992 - Artificial Intelligence 58 (1-3):361-392.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • An optimal backtrack algorithm for tree-structured constraint satisfaction problems.Roberto J. Bayardo & Daniel P. Miranker - 1994 - Artificial Intelligence 71 (1):159-181.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Problem solving by searching for models with a theorem prover.Shie-Jue Lee & David A. Plaisted - 1994 - Artificial Intelligence 69 (1-2):205-233.
    Download  
     
    Export citation  
     
    Bookmark  
  • Investigating production system representations for non-combinatorial match.Milind Tambe & Paul S. Rosenbloom - 1994 - Artificial Intelligence 68 (1):155-199.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Constraints, consistency and closure.Peter Jeavons, David Cohen & Martin C. Cooper - 1998 - Artificial Intelligence 101 (1-2):251-265.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Localized planning with action-based constraints.Amy L. Lansky - 1998 - Artificial Intelligence 98 (1-2):49-136.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark  
  • Towards breaking more composition symmetries in partial symmetry breaking.Jimmy H. M. Lee & Zichen Zhu - 2017 - Artificial Intelligence 252 (C):51-82.
    Download  
     
    Export citation  
     
    Bookmark  
  • Domain filtering consistencies for non-binary constraints.Christian Bessiere, Kostas Stergiou & Toby Walsh - 2008 - Artificial Intelligence 172 (6-7):800-822.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Qualitative simulation.Benjamin Kuipers - 1986 - Artificial Intelligence 29 (3):289-338.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • A gentle introduction to Numerica.Pascal Van Hentenryck - 1998 - Artificial Intelligence 103 (1-2):209-235.
    Download  
     
    Export citation  
     
    Bookmark  
  • Local search with constraint propagation and conflict-based heuristics.Narendra Jussien & Olivier Lhomme - 2002 - Artificial Intelligence 139 (1):21-45.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • No more “Partial” and “Full Looking Ahead”.Edward Tsang - 1998 - Artificial Intelligence 98 (1-2):351-361.
    Download  
     
    Export citation  
     
    Bookmark  
  • A probabilistic approach to solving crossword puzzles.Michael L. Littman, Greg A. Keim & Noam Shazeer - 2002 - Artificial Intelligence 134 (1-2):23-55.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Variable-Centered Consistency in Model RB.Liang Li, Tian Liu & Ke Xu - 2013 - Minds and Machines 23 (1):95-103.
    Model RB is a model of random constraint satisfaction problems, which exhibits exact satisfiability phase transition and many hard instances, both experimentally and theoretically. Benchmarks based on Model RB have been successfully used by various international algorithm competitions and many research papers. In a previous work, Xu and Li defined two notions called i-constraint assignment tuple and flawed i-constraint assignment tuple to show an exponential resolution complexity of Model RB. These two notions are similar to some kind of consistency in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Qualitative reasoning about relative direction of oriented points.Till Mossakowski & Reinhard Moratz - 2012 - Artificial Intelligence 180-181 (C):34-45.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Properties of tree convex constraints.Yuanlin Zhang & Eugene C. Freuder - 2008 - Artificial Intelligence 172 (12-13):1605-1612.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Asynchronous aggregation and consistency in distributed constraint satisfaction.Marius-Călin Silaghi & Boi Faltings - 2005 - Artificial Intelligence 161 (1-2):25-53.
    Download  
     
    Export citation  
     
    Bookmark  
  • Constraint satisfaction from a deductive viewpoint.W. Bibel - 1988 - Artificial Intelligence 35 (3):401-413.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition.Rina Dechter - 1990 - Artificial Intelligence 41 (3):273-312.
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Partial constraint satisfaction.Eugene C. Freuder & Richard J. Wallace - 1992 - Artificial Intelligence 58 (1-3):21-70.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • The complexity of constraint satisfaction revisited.Alan K. Mackworth & Eugene C. Freuder - 1993 - Artificial Intelligence 59 (1-2):57-62.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Constraint relaxation may be perfect.Ugo Montanari & Francesca Rossi - 1991 - Artificial Intelligence 48 (2):143-170.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Network-based heuristics for constraint-satisfaction problems.Rina Dechter & Judea Pearl - 1987 - Artificial Intelligence 34 (1):1-38.
    Download  
     
    Export citation  
     
    Bookmark   55 citations