ASPMT2SMT公司

此软件的关键字
zbMATH中的参考文献(引用于, 1标准件 )
Bartholomew,Michael;Lee,Joohung:具有内涵函数的一阶稳定模型语义(2019) Bernardo Cuteri;Dodaro,Carmine;Ricca,Francesco;Schüller,Peter:ASP程序的部分编译(2019年) Wałęga,Przemysław Andrzej;Schultz,Carl;Bhatt,Mehul:答案集编程模块理论的非单调空间推理(2017) Bartholomew,Michael;Lee,Joohung:System\textscaspmt2smt:SMT solvers的计算ASPMT理论(2014)