Universita della Svizzera Italiana, Lugano, Switzerland;
Universita degli Studi di Milano, Milan, Italy;
FBK (Fondazione Bruno Kessler), Trento, Italy;
机译:数组理论的基于重写的无量词插值
机译:解决有限集和二元关系上的无量词一阶约束
机译:解决3D几何约束系统的非刚性簇重写方法
机译:重写和约束解决与整数差分约束的无量子插值的求解
机译:使用整数规划和约束规划来解决运动调度问题。
机译:强度调制质子治疗中具有剂量-体积约束的混合整数编程
机译:基于重写的无量化插值的阵列理论