糠 559份文件引用(2001–2023) 软件作者: Moskewicz,M.、Madigan,C.、Zhao,Y.、Zhang,L.和Malik,S 相关软件: MiniSat;伯克敏;SATO… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
库布斯 24篇文献引用(2002–2023) 软件作者: 阿卜杜勒瓦赫卜·阿亚里;戴维·巴恩斯 相关软件: Quaffle;semprop;Nenofex… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)