糠

此软件的关键字
zbMATH参考文献(参考
567篇文章
Berkholz,Christoph;Nordström,雅各布:分辨率的超临界空间宽度权衡(2020) Bromberger,Martin;Sturm,Thomas;Weidenbach,Christoph:线性整数求解的一种完整的终止方法(2020) Drechsler,Rolf(编辑);Soeken,Mathias(编辑):高级布尔技术。 第13届布尔问题国际研讨会论文选集,德国不来梅,2018年9月19-21日(2020年) Hebrard,Emmanuel;Katsirelos,George:图着色的约束和可满足性推理(2020) 本杰明·基塞尔;阿德里安·雷博拉·帕多;海勒,玛丽安·J·H.;比尔·阿明:用扩展分辨率模拟强大的实用证明系统(2020年) 拉格尼兹,让-玛丽;朗卡,埃曼纽尔;马奎斯,皮埃尔:模型计数的可定义性(2020) Lammich,Peter:有效验证(UN)SAT证书检查(2020年) 李楚民;萧,范;罗,毛;许多阿,费利普;吕志鹏;李,余:CDCL SAT解算器中单元传播的条款生动化(2020) Antonius Weinzierl;Richard Taupe;Friedrich,Gerhard:《推进惰性基础ASP解决技术——重启、阶段节省、启发式等》(2020) Abd El Maksoud,Munira A.;Abdalla,Areeg:Van der Waerden数字的新SAT解算器(2019年) 埃弗拉多,弗拉维奥;詹胡南,托米;卡明斯基,罗兰;朔布,托尔斯滕:回归\texttxorro(2019) Wang,Wenxi;Søndergaard,Harald;Stuckey,Peter J.:Wombit:使用词级传播的投资组合位向量解算器(2019年) Belahcène,K.;Labreuche,C.;Maudet,N.;Mousseau,V.;Ouerdane,W.:从示例中学习多准则非补偿性排序规则的有效SAT公式(2018) Biere,Armin;Kröning,Daniel:基于SAT的模型检查(2018) Blanchette,Jasmin Christian;Fleury,Mathias;Lammich,Peter;Weidenbach,Christoph:A verified SAT solver framework with learn,forget,restart,and incrementality(2018年) 程,西;周,民;宋,晓宇;顾,明;孙佳光:并行SMT解决:懒惰分解与调解(2018) Kreter,Stefan;Schutt,Andreas;Stuckey,Peter J.;Zimmermann,Jürgen:用于解决资源可用性成本问题的混合整数线性规划和约束规划公式(2018) 劳里亚,马西莫:集团枚举和树型解析证明(2018) 劳里亚,马西莫:关于(k)-DNF决议(2018年)的注释 吕银润;陈,李;张昌友;曲大成;闵阿拉,纳斯罗;王永吉:带析取约束的线性优化问题的交错深度优先搜索法(2018)