×

钙DiCaL

swMATH ID: 31645
软件作者: A.Biere。
描述: CaDiCaL简化可满足性求解器:CaDiCaL的目标是提供一个干净高效的最先进的CDCL求解器,它也易于理解和更改
主页: http://fmv.jku.at/cadical网站/
源代码:  https://github.com/arminbiere/cadical
相关软件: 玲玲;弯曲;超小卫星;Treengeling公司;YalSAT卫星;帕拉库巴;基萨特;github;;DRAT-饰件;MapleCOMSPS公司;葡萄糖;地图COMSPS_LRB;通信卫星;HordeSat公司;PySAT公司;z3型;结块_lpr;糖浆;PrecoSAT公司
引用于: 31文件
全部的 前5名

81位作者引用

8 Heule,Marijn J.H。
5 阿明·比尔
Aleksandr Anatol’evich塞梅诺夫
2 Randal E.布莱恩特。
2 马蒂亚斯·弗勒里
2 曼纽尔·考尔斯
2 斯蒂芬·科切马佐夫
2 伊利亚·奥特普申尼科夫。
2 马蒂娜·塞德尔
2 埃姆雷·约尔库
1 斯科特·亚伦森
1 奥斯文·艾奇霍尔泽
1 马里兰州Jawaherul Alam。
1 卡洛斯·安索特吉
1 迈克尔·贝科斯(Michael A.Bekos)。
1 尼古拉·S·比约纳。
1 蔡少伟
1 吉尔·迪肯
1 维达·杜杰莫维奇
1 安德烈亚斯·弗里奇(Andreas M.Fröhlich)。
1 弗罗莱克斯,尼尔斯
1 Fu、Yu Fu
1 吉拉尔德斯·克鲁,杰苏斯
1 伊琳娜·格里巴诺娃
1 马丁·格罗尼曼
1 马克西米利安·海辛格
1 Keijo Heljanko
1 阿卡什侯赛因
1 索丽娜·爱奥尼卡
1 马库斯·伊泽尔
1 马蒂·Järvisalo
1 本杰明·基尔
1 扬·肯尔
1 弗朗索瓦·拉鲁西尼
1 麦克斯韦·列瓦提奇
1 约尔迪·利维
1 李楚敏
1 李、余
1 刘嘉祥
1 刘振军
1 努诺·P·洛佩斯。
1 吕志鹏
1 罗,毛
1 诺伯特·曼恩
1 很多,费利普
1 沃伊切赫·纳罗基
1 奥杰达、杰苏斯
1 安托尼奥·帕切科
1 坎斯坦钦·帕什科维奇
1 劳伦·波里耶
1 约瑟夫·庞
1 巴特·普雷内尔
1 谢尔盖·普皮耶夫
1 约瑟夫·里夫斯(Joseph E.Reeves)。
1 Franz-Xaver Reichl
1 安德烈·雷巴尔琴科
1 Josep M.萨尔瓦多。
1 彼得·桑德斯
1 曼弗雷德·舒彻
1 多米尼克·施赖伯
1 石小木
1 弗里德里希·斯利沃夫斯基
1 马丁·苏达
1 孙玲
1 斯泽德,斯特凡
1 爱德华·托雷斯
1 莫尼卡·特里莫斯卡
1 蔡明勋
1 巴维尔·瓦尔特
1 比吉特·沃格滕豪伯(Birgit Vogtenhuber)
1 Chandrasekar的Vuppalapati
1 王,弯腰
1 王美琴
1 王伟
1 吴新余
1 肖,范
1 杨伯寅
1 于,艾米丽
1 奥列格·谢尔盖维奇·扎金
1 多龙·泽尔伯格
1 张新迪

按年份列出的引文