机译:命题计算和约束满足问题的最佳可满足性
LengfelderStr. 35b, D-97078 Wuerzburg, Germany;
机译:使用有界约束设置的区域上的有界(2,k)-一致性对命题可满足性进行预处理
机译:Skolem算术周围的电路可满足和约束满足
机译:一个局部不可约束的随机约束满足性问题的可满足性阈值
机译:主导结石的最佳可靠性和约束满足问题
机译:模态和直觉性命题的片段。
机译:邻接和瘫痪约束:可靠性和一致性
机译:命题计算和约束满足问题的最佳可满足性