DMCA

Shift Design with Answer Set Programming (2015)

by M. Abseher , M. Gebser , N. Musliu , T. Schaub , S. Woltran