约束求解中随机化算法的并行运行时间估计

Estimating parallel runtimes for randomized algorithms in constraint solving

• Charlotte Truchet 通讯
• Alejandro Arbeláez
• Florian Richoux
• Philippe Codognet