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 条
  • [21] Symbolic Automata Constraint Solving
    Veanes, Margus
    Bjorner, Nikolaj
    de Moura, Leonardo
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 640 - 654
  • [22] Predictive Constraint Solving and Analysis
    Almaawi, Alyas
    Dini, Nima
    Yelen, Cagdas
    Gligoric, Milos
    Misailovic, Sasa
    Khurshid, Sarfraz
    2020 IEEE/ACM 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2020), 2020, : 109 - 112
  • [23] Solving Sudoku with Constraint Programming
    Crawford, Broderick
    Castro, Carlos
    Monfroy, Eric
    CUTTING-EDGE RESEARCH TOPICS ON MULTIPLE CRITERIA DECISION MAKING, PROCEEDINGS, 2009, 35 : 345 - +
  • [24] Program analysis as constraint solving
    Gulwani, Sumit
    Srivastava, Saurabh
    Venkatesan, Ramarathnam
    ACM SIGPLAN NOTICES, 2008, 43 (06) : 281 - 292
  • [25] Constraint Solving for Proof Planning
    Jürgen Zimmer
    Erica Melis
    Journal of Automated Reasoning, 2004, 33 : 51 - 88
  • [26] WaveFunctionCollapse is Constraint Solving in the Wild
    Karth, Isaac
    Smith, Adam M.
    PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF DIGITAL GAMES (FDG'17), 2017,
  • [27] Herbrand constraint solving in HAL
    Demoen, P
    de la Banda, MG
    Harvey, W
    Marriott, K
    Stuckey, PJ
    LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 260 - 274
  • [28] A workbench for geometric constraint solving
    de Regt, Rogier
    van der Meiden, Hilderick A.
    Bronsvoort, Willem F.
    Computer-Aided Design and Applications, 2008, 5 (1-4): : 471 - 482
  • [29] Constraints and constraint solving: An introduction
    Jouannaud, JP
    Treinen, R
    CONSTRAINTS IN COMPUTATIONAL LOGICS: THEORY AND APPLICATIONS, 2001, 2002 : 1 - 46
  • [30] Internal constraint problem solving
    不详
    AUTONOMOUS DYNAMIC RECONFIGUATION IN MULT-AGENT SYSTEMS, 2002, 2427 : 167 - 189
12345