机译:归纳学习与伪布尔逻辑简化之间的等价关系:规则生成和归约方案
机译:基于MDD的SAT编码,用于伪布尔约束具有大多数关系
机译:基于N级基于模的MaxSAT伪布尔约束的CNF编码
机译:简化残数系统中的伪布尔约束
机译:统计残差分析的适应性,以用于生物传感评估(简化,人居,评估,多样性,俄克拉何马州)中的遥感影像的辅助使用。
机译:在使用实时全球定位系统(GPS)数据进行无实时网络校正的情况下基于残差约束的精确点定位和部分歧义度的歧义
机译:伪布尔约束系统的求解和优化
机译:伪布尔模型在武器系统设计中的应用