Chaire de Cryptologie de la Fondation de l'UPMC, Sorbonne Universites, UPMC Univ Paris 06, CNRS, LIP6 UMR 7606, Paris, France;
Institut Fourier, Universite Grenoble-Alpes, Grenoble, France;
机译:通过测试部分变量来构造求解多项式布尔方程组的有效算法
机译:基于信道编码理论求解布尔多项式方程的确定性算法
机译:实现弱指定布尔函数和系统的多项式综合算法
机译:一种求解布尔多项式系统的杂交算法
机译:快速算法,模块化方法,并行方法和软件工程,以符号方式求解多项式系统
机译:一类布尔生物网络可控制性测试的多项式时间算法
机译:一种多项式算法,用于解决联合布尔网络中最小可观察性问题的多项式算法
机译:求解两不等式线性不等式的多项式时间算法。