JBool公司

该软件提供了一些通用的、有用的工具来处理、编辑和计算由结合范式(子句)或分离范式定义的布尔函数。布尔函数:理论、算法与应用。Crama和P.L.Hammer(编辑)(2011年)附录C


zbMATH中的参考文献(参考文献105篇文章)

显示第1到第20个结果,共105个。
按年份排序(引用)
  1. 恩德雷博罗斯;克拉玛,伊夫;罗德íguez Heck,Elisabeth:伪布尔函数的紧求积(2020)
  2. 库塞罗,米盖尔;勒托宁,埃尔科;梅科里亚里,皮埃尔;Péchoux,Romain:关于表示布尔函数的正规形式系统的效率(2020)
  3. 埃梅利亚诺夫,帕维尔;Ponomaryov,Denis:布尔函数的复杂性和分解(2020)
  4. 卡兹纳切耶夫,阿泰姆;科恩,大卫A。;Jeavons,Peter G.:通过有价值的约束来表示健身景观,以理解本地搜索的复杂性(2020年)
  5. 维玛,阿米特;刘易斯,马克:四阶伪布尔函数的最优二次重构(2020)
  6. 阿布·贾乌德é, 瓦西姆;Monteiro,Pedro T.:关于逻辑分歧图(2019)
  7. 恩德雷博罗斯;古尔维奇,弗拉基米尔;米拉尼č, 马丁:分解1-Sperner超图(2019)
  8. 布鲁尼,雷纳托;比安奇,詹皮罗;多伦特,科西莫;Leporelli,Claudio:作为概率离散选择行为分析工具的数据逻辑分析(2019)
  9. 布赫海姆,克里斯托夫;克拉玛,伊夫;罗德íguez Heck,Elisabeth:Berge无环多线性0-1优化问题(2019)
  10. 基亚雷利,尼娜;米拉尼č, Martin:图中连通控制集的线性分离(2019)
  11. 库塞罗,米盖尔;梅科里亚里,皮埃尔;Pé周,罗曼;Saffidine,Abdallah:关于最小化单调布尔函数和格多项式的中值正规形式的复杂性(2019)
  12. 希区柯克,约翰M。;Sekoni,Adewale:不确定性次线性时间在P中的测量值为0(2019年)
  13. 霍德žć, S、 。;阿利帕斯。;Chattopadhyay,A.:指数生成函数线性分解的迭代方法(2019)
  14. 赫切特,乔伊;Vielma,Juan Pablo:析取约束的小型和强公式的组合方法(2019)
  15. č时代,彼得;萨维克ý, 彼得;沃勒,沃伊特ěch:最多一个约束的CNF编码的下界(2019)
  16. 巴赫,埃里克;杜萨特,Jéré米;海勒斯坦,丽莎;Kletenik,Devorah:布尔函数的子模目标值(2018)
  17. 恩德雷博罗斯;古尔维奇,弗拉基米尔;米拉尼č, 马丁;乌达洛夫,弗拉基米尔;不及物动词čč, Jernej:一个没有纳什均衡的三人确定性图形游戏(2018)
  18. 布拉班特,昆汀;Couceiro,Miguel:(k)-最大Sugeno积分作为序数偏好的聚集模型(2018)
  19. Can,Yavuz:通过一种新的正交化技术得到的乘积的不连续和(2018)
  20. Carlet,Claude:关于单调布尔函数的非线性(2018)