...
机译:在量子退火炉上执行完全并行的约束逻辑编程
Los Alamos Natl Lab, Comp Computat & Stat Sci Div, MS B287, Los Alamos, NM 87545 USA;
quantum annealing; quantum computing; constraint logic programming; Prolog; D-Wave;
机译:自动并行化不规则和基于指针的计算:逻辑和约束编程的观点
机译:(约束)逻辑编程中并行和分布式计算的过去和现在(以及将来)
机译:关于基准约束逻辑编程平台。回应费尔南德斯和希尔的“布尔和有限域上的八种约束编程语言的比较研究”
机译:自动并行化不规则和指针的计算:逻辑和约束编程的透视图
机译:约束逻辑编程语言2LP的并行化
机译:基于约束逻辑编程的故障定位重量优先切片
机译:在量子退火器上执行完全并行约束逻辑编程
机译:并行逻辑编程和并行系统软件和硬件。