AN INCREMENTAL CONSTRAINT SOLVER

被引：107

作者：

FREEMANBENSON, BN

MALONEY, J

BORNING, A

机构：

[1] Univ. of Washington, Seattle

[2] Univ. of Washington, Seattle

[3] Univ. of Washington, Seattle

来源：

COMMUNICATIONS OF THE ACM | 1990年 / 33卷 / 01期

关键词：

D O I：

10.1145/76372.77531

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

An incremental constraint solver, the DeltaBlue algorithm maintains an evolving solution to the constraint hierarchy as constraints are added and removed. DeltaBlue minimizes the cost of finding a new solution after each change by exploiting its knowledge of the last solution. © 1990, ACM. All rights reserved.

引用

页码：54 / 63

页数：10

共 49 条

[1]

[Anonymous], 14TH P ACM S PRINC P

[2] THE PROGRAMMING LANGUAGE ASPECTS OF THINGLAB, A CONSTRAINT-ORIENTED SIMULATION LABORATORY [J].

BORNING, A .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1981, 3 (04) :353-387

[3]

BORNING A, 1987, 1987 P ACM C OBJ OR, P48

[4]

BORNING A, 1986, HUMAN COMPUTER INTER, V2, P269

[5]

BORNING A, 1988, 6TH P INT LOG PROGR, P149

[6]

BORNING AH, 1979, SSL793 RES CTR REP

[7]

CARTER CA, 1984, CS TR50 CARL U TECH

[8]

COLMERAUER A, 1987, INTRO PROLOG 3

[9]

DINCBAS M, 1988, 5TH P INT C GEN COMP

[10]

DUISBERG R, 1986, 860901 UW COMP SCI D

← 1 2 3 4 5 →