Integrating efficient records into concurrent constraint programming

被引：0
|
作者：
Van, Roy, Peter
Mehl, Michael
Scheidhauer, Ralf
机构：
来源：
Lecture Notes in Computer Science | / 1140卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Integrating operations research in constraint programming
    Milano M.
    Wallace M.
    4OR, 2006, 4 (3) : 1 - 45
  • [32] Integrating Operations Research in Constraint Programming
    Milano, Michela
    Wallace, Mark
    ANNALS OF OPERATIONS RESEARCH, 2010, 175 (01) : 37 - 76
  • [33] Integrating answer set programming and constraint logic programming
    Veena S. Mellarkod
    Michael Gelfond
    Yuanlin Zhang
    Annals of Mathematics and Artificial Intelligence, 2008, 53 : 251 - 287
  • [34] Integrating Operations Research in Constraint Programming
    Michela Milano
    Mark Wallace
    Annals of Operations Research, 2010, 175 : 37 - 76
  • [35] Integrating answer set programming and constraint logic programming
    Mellarkod, Veena S.
    Gelfond, Michael
    Zhang, Yuanlin
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2008, 53 (1-4) : 251 - 287
  • [36] A framework for integrating optimization and constraint programming
    Hooker, J. N.
    Abstraction, Reformulation, and Approximation, Proceedings, 2007, 4612 : 4 - 4
  • [37] A multimedia programming model based on timed concurrent constraint programming
    Papadopoulos, GA
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 1998, 13 (04): : 195 - 205
  • [38] Deriving Labels and Bisimilarity for Concurrent Constraint Programming
    Aristizabal, Andres
    Bonchi, Filippo
    Palamidessi, Catuscia
    Pino, Luis
    Valencia, Frank
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, 2011, 6604 : 138 - +
  • [39] A FULLY ABSTRACT MODEL FOR CONCURRENT CONSTRAINT PROGRAMMING
    DEBOER, FS
    PALAMIDESSI, C
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 493 : 296 - 319
  • [40] Soft Concurrent Constraint Programming with Local Variables
    Bussi, Laura
    Gadducci, Fabio
    Santini, Francesco
    COORDINATION MODELS AND LANGUAGES, 2022, 13271 : 159 - 177
12345