Implementing randomised algorithms in constraint logic programming

被引：0

作者：

Angelopoulos, N ^{[1
]}

Di Pierro, A ^{[1
]}

Wiklicky, H ^{[1
]}

机构：

[1] City Univ London, Dept Comp Sci, London EC1V 0HB, England

来源：

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：355 / 356

页数：2

共 50 条

[1] Foundational issues in implementing constraint logic programming systems
Andrews, JH
[J]. SCIENCE OF COMPUTER PROGRAMMING, 1995, 25 (2-3) : 117 - 147
[2] Implementing type theory in higher order constraint logic programming
Guidi, Ferruccio
Coen, Claudio Sacerdoti
Tassi, Enrico
[J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2019, 29 (08) : 1125 - 1150
[3] Logic programming and constraint logic programming
Cohen, J
[J]. ACM COMPUTING SURVEYS, 1996, 28 (01) : 257 - 259
[4] CONSTRAINT LOGIC PROGRAMMING
LASSEZ, C
[J]. BYTE, 1987, 12 (09): : 171 - &
[5] CONSTRAINT LOGIC PROGRAMMING
POUNTAIN, D
[J]. BYTE, 1995, 20 (02): : 159 - 160
[6] Constraint logic programming
Wallace, M
[J]. COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, 2002, 2407 : 512 - 532
[7] Algorithms and Constraint Programming
Grandoni, Fabrizio
Italiano, Giuseppe F.
[J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2006, 2006, 4204 : 2 - 14
[8] Functional and constraint logic programming
Rodríguez-Artalejo, M
[J]. CONSTRAINTS IN COMPUTATIONAL LOGICS: THEORY AND APPLICATIONS, 2001, 2002 : 202 - 270
[9] NEGATION AND CONSTRAINT LOGIC PROGRAMMING
STUCKEY, PJ
[J]. INFORMATION AND COMPUTATION, 1995, 118 (01) : 12 - 33
[10] CONSTRAINT LOGIC PROGRAMMING - A SURVEY
JAFFAR, J
MAHER, MJ
[J]. JOURNAL OF LOGIC PROGRAMMING, 1994, 20 : 503 - 581