Validated constraint compilation

被引：0
|
作者：
Hickey, TJ [1 ]
Wittenberg, DK [1 ]
机构：
[1] Brandeis Univ, Dept Comp Sci, Waltham, MA 02254 USA
来源：
PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING-CP'99 | 1999年 / 1713卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：482 / 483
页数：2
相关论文
共 50 条
  • [1] Declarative Compilation for Constraint Logic Programming
    Gallego Arias, Emilio Jesus
    Lipton, James
    Marino, Julio
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), 2015, 8981 : 299 - 316
  • [2] On the Compilation of Programs into their Equivalent Constraint Representation
    Wotawa, Franz
    Nica, Mihai
    [J]. INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2008, 32 (04): : 359 - 371
  • [3] Flexible constraint compilation in the parity architecture
    ter Hoeven, Roeland
    Messinger, Anette
    Lechner, Wolfgang
    [J]. PHYSICAL REVIEW A, 2023, 108 (04)
  • [4] KNOWLEDGE COMPILATION USING CONSTRAINT INHERITANCE
    CHABOT, R
    BROWN, DC
    [J]. AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, 1994, 8 (02): : 125 - 142
  • [5] Compilation of constraint automata into fault trees
    Rauzy, A
    Winckell, R
    [J]. SAFETY AND RELIABILITY, VOLS 1 & 2, 1999, : 815 - 819
  • [6] Defining and Evaluating Heuristics for the Compilation of Constraint Networks
    Lagniez, Jean-Marie
    Marquis, Pierre
    Paparrizou, Anastasia
    [J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING (CP 2017), 2017, 10416 : 172 - 188
  • [7] Optimizing compilation of constraint handling rules in HAL
    Holzbaur, C
    De la Banda, MG
    Stuckey, PJ
    Duck, GJ
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2005, 5 : 503 - 531
  • [8] TimeC: A time constraint language for ILP processor compilation
    Leung A.
    Palem K.V.
    Pnueli A.
    [J]. Constraints, 2002, 7 (02) : 75 - 115
  • [9] Combining Stochastic Constraint Optimization and Probabilistic Programming From Knowledge Compilation to Constraint Solving
    Latour, Anna L. D.
    Babaki, Behrouz
    Dries, Anton
    Kimmig, Angelika
    Van den Broeck, Guy
    Nijssen, Siegfried
    [J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING (CP 2017), 2017, 10416 : 495 - 511
  • [10] Enhancing Solver Robustness through Constraint Tightening for DNN Compilation
    Chang, Chia-Wei
    Liou, Jing-Jia
    [J]. 2024 INTERNATIONAL VLSI SYMPOSIUM ON TECHNOLOGY, SYSTEMS AND APPLICATIONS, VLSI TSA, 2024,
12345