Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands;
机译:基于逻辑方程解的布尔函数的析构和构分解
机译:一种计算布尔函数多项式表示中连词和析取项的高性能算法
机译:在析取参数化布尔方程组上使证明图有限的一种方法
机译:求解具有交替不动点的析取/合取布尔方程组
机译:布尔延迟方程:一类半离散动力系统。
机译:将Lindblad方程转换为实值线性方程的系统:算法的性能优化和并行化
机译:联合和分离BES的次二次算法
机译:求解一类伪布尔方程的算法。