CONSAT: a parallel constraint satisfaction system

被引：0
|
作者：
Ho, Kinson [1 ]
Guesgen, Hans W. [1 ]
Hilfinger, Paul N. [1 ]
机构：
[1] Univ of California at Berkeley, Berkeley, United States
来源：
LISP and Symbolic Computation | 1994年 / 7卷 / 2-3期
关键词：
Constraint satisfaction system - Fixed point computation - Parallel programming;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：195 / 210
相关论文
共 50 条
  • [21] A System for Solving Constraint Satisfaction Problems with SMT
    Bofill, Miguel
    Suy, Josep
    Villaret, Mateu
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS, 2010, 6175 : 300 - 305
  • [22] A New Parallel GA-Based Method for Constraint Satisfaction Problems
    Abbasian, Reza
    Mouhoub, Malek
    INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE AND APPLICATIONS, 2016, 15 (03)
  • [23] Optimization of Mechanical System: Contribution of Constraint Satisfaction Method
    Yvars, Pierre Alain
    Lafon, Pascal
    Zimmer, Laurent
    CIE: 2009 INTERNATIONAL CONFERENCE ON COMPUTERS AND INDUSTRIAL ENGINEERING, VOLS 1-3, 2009, : 1379 - +
  • [24] Autonomous planning system based on temporal constraint satisfaction
    Xu, Rui
    Cui, Ping-Yuan
    Xu, Xiao-Fei
    Wu, Wei-Ren
    Tian, Yu-Long
    Journal of Harbin Institute of Technology (New Series), 2003, 10 (03) : 304 - 307
  • [25] CROPS: A constraint satisfaction system for whole farm planning
    Stone, ND
    Faulkner, D
    Scheckler, RK
    Pease, JW
    Roach, J
    MULTIPLE OBJECTIVE DECISION MAKING FOR LAND, WATER AND ENVIRONMENTAL MANAGEMENT, 1998, : 527 - 537
  • [26] Autonomous planning system based on temporal constraint satisfaction
    徐瑞
    崔平远
    徐晓飞
    吴伟仁
    田玉龙
    Journal of Harbin Institute of Technology, 2003, (03) : 304 - 307
  • [27] What is adaptive about adaptive decision making? A parallel constraint satisfaction account
    Gloeckner, Andreas
    Hilbig, Benjamin E.
    Jekel, Marc
    COGNITION, 2014, 133 (03) : 641 - 666
  • [28] A synthesis of constraint satisfaction and constraint solving
    Maher, MJ
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003, PROCEEDINGS, 2003, 2833 : 525 - 539
  • [29] Assessment of patient satisfaction with psychiatric care -: Development and clinical evaluation of a brief consumer satisfaction rating scale (UKU-ConSat)
    Ahlfors, UG
    Lewander, T
    Lindström, E
    Malt, UF
    Lublin, H
    Malm, U
    NORDIC JOURNAL OF PSYCHIATRY, 2001, 55 : 71 - 90
  • [30] Partial constraint satisfaction approaches for optimal operation of a hydropower system
    Ferreira, Andre R.
    Teegavarapu, Ramesh S. V.
    ENGINEERING OPTIMIZATION, 2012, 44 (09) : 1073 - 1093
12345