Optimal Stable Model Search: Algorithms and Implementation. Journal of Logic and Computation
You are here
| Title | Optimal Stable Model Search: Algorithms and Implementation. Journal of Logic and Computation |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Alviano M., Dodaro C., Marques-Silva J, Ricca F. |
| Journal | Journal of Logic and Computation |
| Date Published | 2015 |
| URL | http://logcom.oxfordjournals.org/content/early/2015/08/31/logcom.exv061.abstract |
