Search Results for 'D14482'

D14482 published presentations and documents on DocSlides.

clasp A ConictDriven Answer Set Solver Martin Gebser Benjamin Kaufmann Andr e Neumann and Torsten Schaub Institut f ur Informatik Universit at Potsdam AugustBebelStr

by trish-goza

89 D14482 Potsdam Germany Abstract We describe th...