机译:具有长素数含义的布尔函数
Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University in Prague, Malostranske nam. 25,118 00 Praha 1 Czech Republic;
Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University in Prague, Malostranske nam. 25,118 00 Praha 1 Czech Republic;
Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University in Prague, Malostranske nam. 25,118 00 Praha 1 Czech Republic;
Analysis of algorithms; Approximation algorithms; Boolean minimization; DNF; Consensus method; Set cover;
机译:用于识别和选择多输出布尔函数的质数蕴涵的算法
机译:二进制筛选法的布尔素蕴涵
机译:通过在Labview中实施Quine Mccluskey方法确定逻辑函数的素数蕴涵
机译:一个脱离立方体,扩展了单独确定单输出布尔函数的基本主要血管性的问题的方法
机译:布尔和伪布尔函数的算法和复杂度结果。
机译:更正:通过布尔函数网络探索酿酒酵母的候选生物学功能
机译:通过立方表示形式的布尔函数的素数和基本素数蕴涵
机译:多值逻辑函数最小化中的素数和非素数蕴涵