Colorado State University.;
机译:固定密度随机3-CNF实例的Horn分数,可满足性和求解器性能之间的相关性
机译:在对称情况下解决布尔可满足性的困难实例
机译:基于可满足性模理论求解器的有效测试用例,用于面向服务的工作流应用程序
机译:解决现实世界中最大可满足性实例的Bose-Einstein极值优化方法
机译:扩展布尔可满足性求解器的功能:技术和应用。
机译:利用氧化物异质结构在快速和高效电致变色应用中的拓扑过渡
机译:利用随机化和学习来解决现实世界的可满足性问题
机译:在对称性存在下解决布尔可满足性的难点实例