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] Parallel implementation of constraint solving
    Ruiz-Andino, A
    Araujo, L
    Saenz, F
    Ruz, J
    PARALLEL COMPUTING TECHNOLOGIES, 1999, 1662 : 466 - 471
  • [42] Geometric constraint solving with conics
    Gao, XS
    Jiang, K
    PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN & COMPUTER GRAPHICS, 1999, : 101 - 106
  • [43] KBO Constraint Solving Revisited
    Briefs, Yasmine
    Leidinger, Hendrik
    Weidenbach, Christoph
    FRONTIERS OF COMBINING SYSTEMS, FROCOS 2023, 2023, 14279 : 81 - 98
  • [44] Solving necklace constraint problems
    Flener, Pierre
    Pearson, Justin
    JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC, 2009, 64 (2-3): : 61 - 73
  • [45] Constraint Solving on Hybrid Systems
    Roque, Pedro
    Pedro, Vasco
    DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, DECLARE 2017, 2018, 10997 : 3 - 19
  • [46] A Survey on String Constraint Solving
    Amadini, Roberto
    ACM COMPUTING SURVEYS, 2023, 55 (01)
  • [47] External constraint problem solving
    不详
    AUTONOMOUS DYNAMIC RECONFIGUATION IN MULT-AGENT SYSTEMS, 2002, 2427 : 115 - 137
  • [48] Constraint Solving by Quantum Annealing
    Codognet, Philippe
    50TH INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING WORKSHOP PROCEEDINGS - ICPP WORKSHOPS '21, 2021,
  • [49] Methodological view of constraint solving
    Comon, Hubert
    Dincbas, Mehmet
    Jouannaud, Jean-Pierre
    Kirchner, Claude
    Constraints, 1999, 4 (04): : 337 - 361
  • [50] Constraint solving and symbolic execution
    Zhang, Jian
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 539 - 544
12345