Assat: Computing Answer Sets of a logic Program By sat solvers Fangzhen Lin and Yuting Zhao


Download 0.5 Mb.
Matnni ko'rish
Sana21.12.2019
Hajmi0.5 Mb.
#75972



Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling