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
来源：
LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING | 1998年
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：355 / 356
页数：2
相关论文
共 50 条
  • [31] Quantifier elimination for constraint logic programming
    Sturm, T
    [J]. COMPUTER ALGEBRA IN SCIENFIFIC COMPUTING, PROCEEDINGS, 2005, 3718 : 416 - 430
  • [32] Temporal annotated constraint logic programming
    Fruhwirth, T
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1996, 22 (5-6) : 555 - 583
  • [33] A step from Constraint Logic Programming to mathematical programming
    Rodosek, R
    [J]. SOR '97 - THE 4TH INTERNATIONAL SYMPOSIUM ON OPERATIONAL RESEARCH, PROCEEDINGS, 1997, : 201 - 206
  • [34] Integrating answer set programming and constraint logic programming
    Veena S. Mellarkod
    Michael Gelfond
    Yuanlin Zhang
    [J]. Annals of Mathematics and Artificial Intelligence, 2008, 53 : 251 - 287
  • [35] A system for tabled constraint logic programming
    Cui, BQ
    Warren, DS
    [J]. COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 478 - 492
  • [36] Experiments in reactive constraint logic programming
    Fages, F
    Fowler, J
    Sola, T
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1998, 37 (1-3): : 185 - 212
  • [37] A REWRITE APPROACH FOR CONSTRAINT LOGIC PROGRAMMING
    RICHARD, G
    SAUBION, F
    [J]. LATIN '95: THEORETICAL INFORMATICS, 1995, 911 : 469 - 482
  • [38] Data mining as constraint logic programming
    De Raedt, L
    [J]. COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT II, 2002, 2408 : 526 - 547
  • [39] ACLP: Abductive Constraint Logic Programming
    Kakas, A
    Michael, A
    Mourlas, C
    [J]. JOURNAL OF LOGIC PROGRAMMING, 2000, 44 (1-3): : 129 - 177
  • [40] Constraint logic programming with a relational machine
    Arias, Emilio Jesus Gallego
    Lipton, James
    Marino, Julio
    [J]. FORMAL ASPECTS OF COMPUTING, 2017, 29 (01) : 97 - 124
12345