Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Jeffrey Alan Ward"'
Publikováno v:
Logic Programming and Nonmonotonic Reasoning ISBN: 9783540207214
LPNMR
LPNMR
In this dissertation we show how conflict clause learning, a technique that has been very useful in improving the efficiency of Boolean logic satisfiability search, can be adapted to speed up dramatically the search for models of answer set programs.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0b8b1d0c2c021a56548dc5cffc5ce264
https://doi.org/10.1007/978-3-540-24609-1_26
https://doi.org/10.1007/978-3-540-24609-1_26
