机译:解决难满足性问题的惩罚措施和避免陷阱的策略
机译:解决难满足性问题的惩罚措施和避免陷阱的策略
机译:配置格局分析和骨干引导的本地搜索。第一部分:满意度和最大满意度
机译:陷阱在离散拉格朗日方法中逃逸策略,用于解决勤勉性能和最大可靠性问题
机译:在离散模型上使用可满足求解器的模拟和混合信号验证
机译:查找布尔可满足性问题的硬变体分区的算法及其在某些密码函数求逆中的应用
机译:基于离散拉格朗日的全局搜索方法,用于解决可满足性问题
机译:求解一类硬满意度问题的两阶段算法;软件工程部