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 条

[1] Parallel distributed constraint satisfaction
Fabiunke, M
INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 1585 - 1591
[2] FAST PARALLEL CONSTRAINT SATISFACTION
KIROUSIS, LM
ARTIFICIAL INTELLIGENCE, 1993, 64 (01) : 147 - 160
[3] Domain dependence in parallel constraint satisfaction
1600, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (01):
[4] A TAGGING METHOD FOR PARALLEL CONSTRAINT SATISFACTION
GUESGEN, HW
HO, K
HILFINGER, PN
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1992, 16 (01) : 72 - 75
[5] PARALLEL SOLUTIONS TO CONSTRAINT SATISFACTION PROBLEMS
KASIF, S
PROCEEDINGS OF THE FIRST CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 1989, : 180 - 188
[6] Fast and parallel decomposition of constraint satisfaction problems
Gottlob, Georg
Okulmus, Cem
Pichler, Reinhard
CONSTRAINTS, 2022, 27 (03) : 284 - 326
[7] STATIC PARALLEL ARC CONSISTENCY IN CONSTRAINT SATISFACTION
CONRAD, JM
BAHLER, D
BOWEN, J
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 542 : 500 - 509
[8] Fast and parallel decomposition of constraint satisfaction problems
Georg Gottlob
Cem Okulmus
Reinhard Pichler
Constraints, 2022, 27 : 284 - 326
[9] LOCAL CONSISTENCY IN PARALLEL CONSTRAINT SATISFACTION NETWORKS
KASIF, S
DELCHER, AL
ARTIFICIAL INTELLIGENCE, 1994, 69 (1-2) : 307 - 327
[10] Formula dissection: A parallel algorithm for constraint satisfaction
Reif, John H.
Kasif, Simon
Sherlekar, Deepak
COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2008, 55 (06) : 1170 - 1177

← 1 2 3 4 5 →