机译:组合问题的约束逻辑编程和答案集编程解的实证研究
Dipartimento di Matematica e Informatica, Universitd di Udine, via delle Scienze 206, 33100 Udine, Italy;
Dipartimento di Matematica e Informatica, Universitd di Perugia, via Vanvitelli 1, 06123 Perugia, Italy;
Department of Computer Science, New Mexico State University, P.O. Box 30001/CS, Las Cruces, NM 88003-8001, USA;
logic programming; combinatorial problems; constraint solving;
机译:集成答案集编程和约束逻辑编程
机译:基于答案集编程和时间间隔逻辑约束的XML授权形式语言
机译:具有任意抽象约束原子的逻辑程序的答案集
机译:AC(C)语言:集成答案集编程和约束逻辑编程
机译:有约束的数据记录:一种新的答案集编程形式。
机译:使用答案集编程详尽地描述信令网络的可行逻辑模型
机译:组合问题的约束逻辑规划和答案集规划解的实证研究