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


Download 154.37 Kb.
Matnni ko'rish
Sana28.03.2017
Hajmi154.37 Kb.
#3328



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