cmodels - sat-based disjunctive answer set solver(5)
发布时间：2021-06-06
Disjunctive logic programming under the stable model semantics [GL91] is a new
runningtimesofsystemsobtainedfromAsparagus,machineAMDAthlon1.4GHzPCwith512MBRAMandcutofftime15minutes.Allgiveninstancesaresatis able.Incaseofstrategiccompanybenchmarkthereisnoclearwinnerintheperformance,butGNTandDLVareingeneralfaster.
inst-
ance
0.64
0.87
0.51
6.66
2.24gnt20.330.341.201.525.99cmod-smchaff0.340.341.495.0414.27125.45105.38155.0135.11155.3dlv.45.2341.0279.9916.568.00188.14cmodelszchaff-404.72-62.25755.12cmod-ssimo
cmodels - sat-based disjunctive answer set solver(5).doc
将本文的Word文档下载到电脑
上一篇：数据库原理及应用(答案已补全)
下一篇：武协工作活动总结
