周六4j swMATH ID: 7283 软件作者: 勒贝雷;帕兰 描述: Sat4j库,2.2版系统描述。Sat4j是一个用于解决布尔满足和优化问题的java库。它可以解决SAT、MAXSAT、伪布尔、最小不可满足子集(MUS)问题。在Java中,我们的承诺不是成为解决这些问题最快的解决方案(Java中的SAT解算器比C++中对应的SAT求解器慢3.25倍),而是要功能齐全、健壮、用户友好,并遵循Java设计准则和代码约定(使用源代码的静态分析进行检查)。该库通过大量使用装饰器和策略设计模式来实现灵活性。此外,Sat4j是开放源码的,具有双重业务友好的Eclipse公共许可证和学术友好的GNU LGPL许可证。 主页: http://sat4j.org/ 相关软件: QMax卫星;超小卫星;糠;MiniMaxSat卫星;开放-WBO;最大HS;PicoSAT卫星;z3型;CPLEX公司;普韦布洛;徒步旅行;LMHS公司;CCLS公司;焊接工艺规范3;SMAC公司;帕拉米尔斯;古罗比;SCIP公司;CBMC公司;CCASat卫星 引用于: 86文件 全部的 前5名220位作者引用 7 Joáo P.塞尔瓦侯爵。 5 卡洛斯·安索特吉 5 丹尼尔·贝伦德 5 林奇,因斯 4 Jörg Brauer 4 吉尔根·吉斯尔 4 戈兰,沙哈尔 4 安迪·金 4 丹尼尔·勒贝雷 4 Vasco M.Manquinho。 4 鲁本·马丁斯 4 特威托,尤猜 三 蔡少伟 三 迈克尔·科迪什 三 卡斯滕·福斯 三 乔尔·加布 三 格雷戈里·古丁。 三 彼得·施奈德·坎普 三 雷内·蒂曼 2 酒神巴克斯 2 马克·布罗克施米特 2 杰森·克兰普顿 2 莱昂纳多·德·莫拉 2 埃米尔·德米罗维奇 2 费边·埃姆斯 2 弗洛里安·弗洛恩 2 安德烈·加加林 2 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 2 汤米·詹胡宁 2 德扬·约瓦诺维奇 2 宫崎骏小村 2 约尔迪·利维 2 罗,川 2 瓦伦丁·梅耶尔·艾希伯格 2 安东尼奥·莫尔加多 2 尼斯雷特·穆斯利乌 2 亚历山大·纳德尔 2 雅各布诺德斯特伦 2 卡斯滕·奥托 2 乔迪,飞机 2 马丁·普吕克 2 托马斯·斯特罗德 2 苏凯乐 2 斯蒂芬妮·斯威德斯基 2 罗曼·沃伦 1 伊格纳西·阿比奥 1 塔斯尼姆·纳赛尔·叶海亚 1 阿尔夫·罗查,蒂亚戈 1 约塞普·阿格利奇 1 Artigues,克里斯蒂安 1 科尼利厄斯·阿斯切尔曼 1 阿德里安·巴林特 1 穆苏诺里·班巴拉 1 迪纳·巴拉克·佩利格 1 萨姆·贝利斯 1 安东·贝洛夫 1 阿米尔·本·阿姆拉姆。 1 肖姆·本·达维德 1 萨德克·本萨勒姆 1 杰里米亚斯·伯格 1 奥拉夫·拜尔斯多夫 1 米克尔波菲尔 1 巴特·博加特 1 玛丽亚·路易莎·博内 1 卜、雷 1 布斯克茨,迪达 1 玛莎·契契克 1 Chen,Qian Matteo先生 1 Cheng,Chih-Hong先生 1 勒罗伊·周 1 乔迪·科尔 1 卡洛·康比 1 朱卡·科兰德 1 唐纳德·考恩。 1 洛丽斯·达安东尼 1 杰西卡·凯瑟琳·戴维斯 1 杰西·戴维斯 1 胡安·德·拉腊 1 蒂亚戈,德利马 1 沃尔夫·德·沃尔夫 1 詹姆斯·德尔格兰德。 1 乔·德弗里安特 1 苏哈斯·N·迪加维。 1 伊西尔·迪利格 1 罗尔夫·德雷克斯勒 1 加布里埃尔·埃布纳 1 穆罕默德·埃尔巴奇尔·梅奈 1 冯、余 1 阿尔贝托·芬齐 1 藤田,广岛 1 安东尼奥·加门迪亚 1 马丁·格布瑟 1 安布罗斯·格雷克斯纳(Ambros M.Gleixner)。 1 戈梅斯·马丁内斯,埃琳娜 1 伊戈尔·戈诺波尔斯基 1 安娜·格拉萨 1 斯特凡·格鲁纳 1 埃丝特·格拉 1 贾马尔·哈贝特 1 哈维,马提亚斯 …和120多位作者 全部的 前5名26篇连载文章中引用 7 人工智能 7 约束条件 三 自动推理杂志 2 理论计算机科学 2 计算机程序设计科学 2 信息与计算 2 数学与人工智能年鉴 2 组合优化期刊 2 逻辑程序设计理论与实践 2 离散优化 2 可满足性、布尔建模与计算杂志 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 离散应用数学 1 Automatica公司 1 计算 1 计算机科学与技术杂志 1 计算机与运筹学 1 AI通信 1 运筹学年鉴 1 系统设计中的形式化方法 1 人工智能研究杂志 1 启发式杂志 1 计算机基础理论 1 计算机语言、系统和结构 1 统计与计算 全部的 前5名11个领域引用 75 计算机科学(68至XX) 24 运筹学、数学规划(90-XX) 8 数学逻辑和基础(03-XX) 三 组合数学(05-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 1 交换代数(13-XX) 1 统计学(62-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 按年份列出的引文