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 条
  • [41] Model checking as constraint solving
    Podelski, A
    STATIC ANALYSIS, 2000, 1824 : 22 - 37
  • [42] KBO Constraint Solving Revisited
    Briefs, Yasmine
    Leidinger, Hendrik
    Weidenbach, Christoph
    FRONTIERS OF COMBINING SYSTEMS, FROCOS 2023, 2023, 14279 : 81 - 98
  • [43] Solving necklace constraint problems
    Flener, Pierre
    Pearson, Justin
    JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC, 2009, 64 (2-3): : 61 - 73
  • [44] Constraint Solving on Hybrid Systems
    Roque, Pedro
    Pedro, Vasco
    DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, DECLARE 2017, 2018, 10997 : 3 - 19
  • [45] A Survey on String Constraint Solving
    Amadini, Roberto
    ACM COMPUTING SURVEYS, 2023, 55 (01)
  • [46] External constraint problem solving
    不详
    AUTONOMOUS DYNAMIC RECONFIGUATION IN MULT-AGENT SYSTEMS, 2002, 2427 : 115 - 137
  • [47] Constraint Solving by Quantum Annealing
    Codognet, Philippe
    50TH INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING WORKSHOP PROCEEDINGS - ICPP WORKSHOPS '21, 2021,
  • [48] Constraint solving and symbolic execution
    Zhang, Jian
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 539 - 544
  • [49] Methodological view of constraint solving
    Comon, Hubert
    Dincbas, Mehmet
    Jouannaud, Jean-Pierre
    Kirchner, Claude
    Constraints, 1999, 4 (04): : 337 - 361
  • [50] Constraint Answer Set Solving
    Gebser, Martin
    Ostrowski, Max
    Schaub, Torsten
    LOGIC PROGRAMMING, 2009, 5649 : 235 - 249
12345