answer set programming; constraint satisfaction; propositional satisfiability; search problems;
机译:D-FLAT:使用树分解和答案集编程的声明式问题解决
机译:控制网络编程中解决CSP的搜索策略的声明性实现
机译:解决答案集编程的先进争论问题
机译:回答集编程:解决具有挑战性的搜索问题的声明方法
机译:使用ASP和Markov Logic Solvers计算答案设置程序语言的概率扩展
机译:使用答案集编程从时间序列数据修复布尔逻辑模型
机译:D-FLaT:使用树分解和语法解决声明性问题 答案集编程