Theory Solving Made Easy with Clingo 5

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko. Theory Solving Made Easy with Clingo 5. In Manuel Carro, Andy King, Neda Saeedloei, Marina De Vos, editors, Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, October 16-21, 2016, New York City, USA. Volume 52 of OASICS, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]

Authors

Martin Gebser

This author has not been identified. Look up 'Martin Gebser' in Google

Roland Kaminski

This author has not been identified. Look up 'Roland Kaminski' in Google

Benjamin Kaufmann

This author has not been identified. Look up 'Benjamin Kaufmann' in Google

Max Ostrowski

This author has not been identified. Look up 'Max Ostrowski' in Google

Torsten Schaub

This author has not been identified. Look up 'Torsten Schaub' in Google

Philipp Wanko

This author has not been identified. Look up 'Philipp Wanko' in Google