Universidad de Buenos Aires, Argentina,INRIA LORIA, Nancy, France;
INRIA, Universite de Lorraine LORIA, Nancy, France;
INRIA LORIA, Nancy, France;
机译:不脱节理论的结合和可满足性程序的组合
机译:一种新的贪婪随机自适应搜索程序,用于解决最大可满足性问题
机译:将理论联合的可满足性程序与共享计数运算符相结合
机译:一种温和的非脱节组合可取性程序
机译:使用布尔可满足性诊断组合逻辑电路。
机译:氯胺酮 - 咪达唑仑组合和异丙酚 - 芬太尼组合对儿科结肠镜检查程序的舒适性和回收过程的比较
机译:满足程序的温和不脱节组合(扩展版)
机译:改革在可满足性程序自动设计中的作用