Switch to: References

Add citations

You must login to add citations.
  1. 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  
  • Multi-agent oriented constraint satisfaction.Jiming Liu, Han Jing & Y. Y. Tang - 2002 - Artificial Intelligence 136 (1):101-144.
    Download  
     
    Export citation  
     
    Bookmark  
  • Logic and AI in China: An Introduction. [REVIEW]Fenrong Liu & Kaile Su - 2013 - Minds and Machines 23 (1):1-4.
    Download  
     
    Export citation  
     
    Bookmark  
  • Planning parallel actions.A. R. Lingard & E. B. Richards - 1998 - Artificial Intelligence 99 (2):261-324.
    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  
  • 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  
  • 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  
  • STR3: A path-optimal filtering algorithm for table constraints.Christophe Lecoutre, Chavalit Likitvivatanavong & Roland H. C. Yap - 2015 - Artificial Intelligence 220 (C):1-27.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Accelerating filtering techniques for numeric CSPs.Yahia Lebbah & Olivier Lhomme - 2002 - Artificial Intelligence 139 (1):109-132.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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  
  • Localized planning with action-based constraints.Amy L. Lansky - 1998 - Artificial Intelligence 98 (1-2):49-136.
    Download  
     
    Export citation  
     
    Bookmark  
  • Effective solution of qualitative interval constraint problems.Peter B. Ladkin & Alexander Reinefeld - 1992 - Artificial Intelligence 57 (1):105-124.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Qualitative simulation.Benjamin Kuipers - 1986 - Artificial Intelligence 29 (3):289-338.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • A geometric constraint engine.Glenn A. Kramer - 1992 - Artificial Intelligence 58 (1-3):327-360.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On the parallel complexity of discrete relaxation in constraint satisfaction networks.Simon Kasif - 1990 - Artificial Intelligence 45 (3):275-286.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Local consistency in parallel constraint satisfaction networks.Simon Kasif & Arthur L. Delcher - 1994 - Artificial Intelligence 69 (1-2):307-327.
    Download  
     
    Export citation  
     
    Bookmark  
  • Hybrid backtracking bounded by tree-decomposition of constraint networks.Philippe Jégou & Cyril Terrioux - 2003 - Artificial Intelligence 146 (1):43-75.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Tractable constraints on ordered domains.Peter G. Jeavons & Martin C. Cooper - 1995 - Artificial Intelligence 79 (2):327-339.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • 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  
  • A new approach to cyclic ordering of 2D orientations using ternary relation algebras.Amar Isli & Anthony G. Cohn - 2000 - Artificial Intelligence 122 (1-2):137-187.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Increasing tree search efficiency for constraint satisfaction problems.Robert M. Haralick & Gordon L. Elliott - 1980 - Artificial Intelligence 14 (3):263-313.
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • Comments on Mohr and Henderson's path consistency algorithm.Ching-Chih Han & Chia-Hoang Lee - 1988 - Artificial Intelligence 36 (1):125-130.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Decomposing constraint satisfaction problems using database techniques.Marc Gyssens, Peter G. Jeavons & David A. Cohen - 1994 - Artificial Intelligence 66 (1):57-89.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Some fundamental properties of local constraint propagation.Hans-Werner Güsgen & Joachim Hertzberg - 1988 - Artificial Intelligence 36 (2):237-247.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The combinatorics of object recognition in cluttered environments using constrained search.W. Eric L. Grimson - 1990 - Artificial Intelligence 44 (1-2):121-165.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • 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  
  • Combining topological and size information for spatial reasoning.Alfonso Gerevini & Jochen Renz - 2002 - Artificial Intelligence 137 (1-2):1-42.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure.Alfonso E. Gerevini & Alessandro Saetti - 2011 - Artificial Intelligence 175 (2):556-585.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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  
  • 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  
  • Propagation algorithms for lexicographic ordering constraints.Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel & Toby Walsh - 2006 - Artificial Intelligence 170 (10):803-834.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • 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  
  • Partial constraint satisfaction.Eugene C. Freuder & Richard J. Wallace - 1992 - Artificial Intelligence 58 (1-3):21-70.
    Download  
     
    Export citation  
     
    Bookmark   23 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  
  • Arc-consistency for continuous variables.Boi Faltings - 1994 - Artificial Intelligence 65 (2):363-376.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Twenty-one large tractable subclasses of Allen's algebra.Thomas Drakengren & Peter Jonsson - 1997 - Artificial Intelligence 93 (1-2):297-319.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Thick set inversion.B. Desrochers & L. Jaulin - 2017 - Artificial Intelligence 249:1-18.
    Download  
     
    Export citation  
     
    Bookmark  
  • Image interpretation with a conceptual graph: Labeling over-segmented images and detection of unexpected objects.Aline Deruyver, Yann Hodé & Luc Brun - 2009 - Artificial Intelligence 173 (14):1245-1265.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • From local to global consistency.Rina Dechter - 1992 - Artificial Intelligence 55 (1):87-107.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Backjump-based backtracking for constraint satisfaction problems.Rina Dechter & Daniel Frost - 2002 - Artificial Intelligence 136 (2):147-188.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Constraint propagation with interval labels.Ernest Davis - 1987 - Artificial Intelligence 32 (3):281-331.
    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  
  • Fundamental properties of neighbourhood substitution in constraint satisfaction problems.Martin C. Cooper - 1997 - Artificial Intelligence 90 (1-2):1-24.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Characterising tractable constraints.Martin C. Cooper, David A. Cohen & Peter G. Jeavons - 1994 - Artificial Intelligence 65 (2):347-361.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • An optimal k-consistency algorithm.Martin C. Cooper - 1989 - Artificial Intelligence 41 (1):89-95.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Arc consistency: parallelism and domain dependence.Paul R. Cooper & Michael J. Swain - 1992 - Artificial Intelligence 58 (1-3):207-235.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • Computational theory for interpreting handwritten text in constrained domains.Edward Cohen - 1994 - Artificial Intelligence 68 (1):1-31.
    Download  
     
    Export citation  
     
    Bookmark  
  • A Lagrangian reconstruction of GENET.Kenneth M. F. Choi, Jimmy H. M. Lee & Peter J. Stuckey - 2000 - Artificial Intelligence 123 (1-2):1-39.
    Download  
     
    Export citation  
     
    Bookmark  
  • Disjunctions, independence, refinements.Mathias Broxvall, Peter Jonsson & Jochen Renz - 2002 - Artificial Intelligence 140 (1-2):153-173.
    Download  
     
    Export citation  
     
    Bookmark   2 citations