...
机译:通过整数编程的概率可满足性和一致性检查
Universidade de SSo Paulo, Av. Mello Moraes, 2231, Sao Paulo, SP, Brazil;
Universidade de SSo Paulo, Av. Mello Moraes, 2231, Sao Paulo, SP, Brazil;
Probabilistic logic; Probabilistic satisfiability; Coherence; Integer programming; Phase transitions;
机译:通过整数编程的广义概率可满足性
机译:通过整数编程的广义概率可满足性
机译:并发递归程序的时态逻辑:可满足性和模型检查
机译:通过整数编程进行概率可满足性和一致性检查
机译:通过结合自动规则发现和概率答案集编程来解释事实
机译:线性规划研究随机可满足性问题的典型算法复杂度的相变
机译:通过整数编程的广义概率可满足性