Ulm University, Theoretical Computer Science, 89081 Ulm, Germany;
机译:难得的SAT公式容易识别吗?大子句-变量比下K-SAT消息传递算法的效率
机译:PaMiraXT:使用线程和消息传递进行并行SAT解决
机译:了解消息传递算法的动态:自由概率启发式
机译:论饱和产品的基于产品的消息的插值
机译:用于消息传递接口和线程程序的有效动态验证的启发式方法。
机译:科学的消息翻译和启发式系统模型:设计有关孕酮和乳腺癌风险的教育消息的见解
机译:罕见的saT配方能否轻松识别?论消息的效率 以较大的子句到变量比率传递K-saT的算法