佐藤

此软件的关键字
zbMATH参考文献(195篇文章引用)
大卫·范布鲁克;古森,德里斯;舍恩伯格,约恩;瓜亚尔多,马里奥:一个三场分类和循环运动时间表统一数据格式(2020年) Ngoko,Yanik;Cérin,Christophe;Trystram,Denis:在分布式云中解决SAT:投资组合方法(2019) 程,西;周,民;宋,晓宇;顾,明;孙佳光:并行SMT解决:懒惰分解与调解(2018) 黄,裴;马,菲菲;葛存菁;张健;张汉涛:通过可满足性检验研究大集幂等拟群的存在性(2018) Marques Silva,Joao;Malik,Sharad:命题SAT解决(2018) Balyo,Tomš;Lonsing,Florian:Hordeqbf:模块化和大规模并行QBF解算器(2016) 哈马迪,尤瑟夫;贾布尔,萨伊德;赛斯,拉赫达尔:我们可以从命题满足性的冲突中学到什么(2016) 李平科;金庆伟:关于双极性极大极小方程的求解。 (2016年) Triska,Markus:SWI prolog的布尔约束求解器(系统描述)(2016) 张汉涛:可满足性模SAT实验(2016) Biere,Armin;Fröhlich,Andreas:评估CDCL可变评分方案(2015) Hyvärinen,Antti E.J.;Marescotti,Matteo;Sharygina,Natasha:并行化SMT解算器的搜索空间划分(2015) Ahmed,Tanbir;Kullmann,Oliver;Snevily,Hunter:论范德瓦尔登数(\mathrmw(2;3,t))(2014) 阿伦·德拉斯穆特(Albert-Clark)2013;奥伦纳德·德斯姆普(Albert-de-Ras);奥伦纳德·德斯姆普(Albert-de-Ras);奥伦纳德·德斯姆普(Albert-de-Stump);奥伦纳德·德·斯姆普(Albert- ioport公司 Kinyon,Michael;Veroff,Robert;Vojtěchovský,Petr:abelian内映射群的循环:自动演绎的应用(2013) 张汉涛;张健:MACE4和SEM:有限模型发生器的比较(2013) 哈马迪,尤瑟夫;贾布尔,萨伊德;萨伊斯,拉赫达尔:从命题满足性的冲突中学习(2012) Martins,Ruben;Manquinho,Vasco;Lynce,Inès:并行SAT解决概述(2012) Triska,Markus;Musliu,Nysret:针对社会高尔夫球手问题的改进SAT公式(2012) 马丁·格布瑟;本杰明·考夫曼;罗兰·卡明斯基;马克斯·奥斯特罗夫斯基;肖布、托尔斯滕;施耐德、马吕斯:Potasco:波茨坦答案集解题集(2011)