通过 引用于8份文件(2015–2023) 软件作者: Li,G.,Ghosh,I。 相关软件: S3;Z3-str;陌生人… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)