Assat: Computing Answer Sets of a logic Program By sat solvers


Download 326.53 Kb.
Matnni ko'rish
bet1/4
Sana28.03.2017
Hajmi326.53 Kb.




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