Laboratoire LIPN-CNRS UMR7030, Avenue Jean-Baptiste Clement, F-93430 Villetaneuse;
机译:Max-CSP的基于分区的下界
机译:数值Max-CSP的分支定界算法
机译:定向图的强连通性的新下限。应用于与Caccetta Ha:ggkvist猜想有关的特殊情况的直径定向图的强连通性上的新下界。应用于与Caccetta Ha:ggkvist猜想有关的特殊情况的直径定向图的强连通性上的新下界。适用于与Caccetta Ha:ggkvist猜想有关的特殊情况的直径
机译:计算最大CSP问题的下限
机译:在计算理论中有一些折衷的下限。
机译:最大公共子图:一些上限和下限结果
机译:利用单元传播来计算分支和边界Max-SAT求解器中的下限