ITESM Campus Cuernavaca, Computer Science Department Av. Paseo de la Reforma 182-A. Lomas de Cuernavaca 62589 Temixco Morelos, Mexico;
机译:难得的SAT公式容易识别吗?大子句-变量比下K-SAT消息传递算法的效率
机译:通过适度指数和参数化算法逼近MAX SAT
机译:使用自动编程为随机3-SAT生成最新算法
机译:ERA:一种减少SAT问题简历的算法
机译:学习SAT和MINSAT,以及量化SAT和MINSAT的算法。
机译:用变分贝叶斯算法估计上位性的数量性状轨迹效应。
机译:时代:一种减少坐席问题上位性的算法