机译:关于Horn关系的布尔连通性问题
机译:通过布尔关系对产品的投影和进行布尔最小化
机译:由布尔代数和非布尔代数之间的不连续关系定义的自举系统
机译:关于角关系的布尔连通性问题
机译:查询布尔代数的同构类的数量和某些Borel等价关系的Borel基数。
机译:具有最大最大节点连通性的大型布尔网络的有效稳态分析方法
机译:关于喇叭关系的布尔连通性问题
机译:提取与利用关系Booleennes pour la Resolution des programs Lineaires en Variablebles 0-1,Volume 1(0-1变量线性程序解决方案的布尔关系的提取和评估,体积