DMCA

Engineering an Incremental ASP Solver

by M. Gebser , R. Kaminski , B. Kaufmann , M. Ostrowski , T. Schaub , S. Thiele
Citations:51 - 19 self