user

Combining constraint solving

被引：0
|
作者：
Baader, F [1 ]
Schulz, KU
机构：
[1] Rhein Westfal TH Aachen, D-52074 Aachen, Germany
[2] Univ Munich, CIS, D-80538 Munich, Germany
来源：
CONSTRAINTS IN COMPUTATIONAL LOGICS: THEORY AND APPLICATIONS | 2001年 / 2002卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：104 / 158
页数：55
相关论文
共 50 条
  • [31] Internal constraint problem solving
    不详
    AUTONOMOUS DYNAMIC RECONFIGUATION IN MULT-AGENT SYSTEMS, 2002, 2427 : 167 - 189
  • [32] Constraints and constraint solving: An introduction
    Jouannaud, JP
    Treinen, R
    CONSTRAINTS IN COMPUTATIONAL LOGICS: THEORY AND APPLICATIONS, 2001, 2002 : 1 - 46
  • [33] A Multicore Tool for Constraint Solving
    Amadini, Roberto
    Gabbrielli, Maurizio
    Mauro, Jacopo
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 232 - 238
  • [34] Adding constraint solving to Mercury
    Becket, R
    de la Banda, MG
    Marriott, K
    Somogyi, Z
    Stuckey, PJ
    Wallace, M
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2006, 3819 : 118 - 133
  • [35] NEURAL LOGIC CONSTRAINT SOLVING
    MONFROGLIO, A
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1994, 20 (01) : 92 - 98
  • [36] A Methodological View of Constraint Solving
    Hubert Comon
    Mehmet Dincbas
    Jean-Pierre Jouannaud
    Claude Kirchner
    Constraints, 1999, 4 (4) : 337 - 361
  • [37] Constraint solving for proof planning
    Zimmer, J
    Melis, E
    JOURNAL OF AUTOMATED REASONING, 2004, 33 (01) : 51 - 88
  • [38] Relational Constraint Solving in SMT
    Meng, Baoluo
    Reynolds, Andrew
    Tinelli, Cesare
    Barrett, Clark
    AUTOMATED DEDUCTION - CADE 26, 2017, 10395 : 148 - 165
  • [39] Solving Necklace Constraint Problems
    Flener, Pierre
    Pearson, Justin
    ECAI 2008, PROCEEDINGS, 2008, 178 : 520 - +
  • [40] Model checking as constraint solving
    Podelski, A
    STATIC ANALYSIS, 2000, 1824 : 22 - 37
12345