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 条
  • [1] Spatial inference - Combining learning and constraint solving
    Gips, C
    Wysotzki, F
    KI 2003: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2003, 2821 : 282 - 296
  • [2] Combining slicing and constraint solving for validation of measurement software
    Snelting, Gregor
    Lecture Notes in Computer Science, 1145
  • [3] Combining Evolutionary Algorithms with Constraint Solving for Configuration Optimization
    Shi, Kai
    Yu, Huiqun
    Guo, Jianmei
    2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME), 2017, : 665 - 669
  • [4] Combining Stochastic Constraint Optimization and Probabilistic Programming From Knowledge Compilation to Constraint Solving
    Latour, Anna L. D.
    Babaki, Behrouz
    Dries, Anton
    Kimmig, Angelika
    Van den Broeck, Guy
    Nijssen, Siegfried
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING (CP 2017), 2017, 10416 : 495 - 511
  • [5] Combining immune with ant colony algorithm for geometric constraint solving
    Yuan, Hua
    Li, Yi
    Li, Wenhui
    Zhao, Kong
    Wang, Duo
    Yi, Rongqin
    FIRST INTERNATIONAL WORKSHOP ON KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, 2007, : 524 - +
  • [6] Combining constructive and equational geometric constraint-solving techniques
    Joan-Arinyo, R
    Soto-Riera, A
    ACM TRANSACTIONS ON GRAPHICS, 1999, 18 (01): : 35 - 55
  • [7] Introduction to the special issue on Combining Constraint Solving with Mining and Learning
    Passerini, Andrea
    Tack, Guido
    Guns, Tias
    ARTIFICIAL INTELLIGENCE, 2017, 244 : 1 - 5
  • [8] Combining VNS with constraint programming for solving anytime optimization problems
    Loudni, Samir
    Boizumault, Patrice
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2008, 191 (03) : 705 - 735
  • [9] A synthesis of constraint satisfaction and constraint solving
    Maher, MJ
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003, PROCEEDINGS, 2003, 2833 : 525 - 539
  • [10] Constraint solving with constraint handling rules
    Frühwirth, T
    INTENSIONAL PROGRAMMING II: BASED ON THE PAPERS AT ISLIP'99, 2000, : 14 - 30
12345