%0 Thesis %1 kaufmann2015performance %A Kaufmann, Benjamin %D 2015 %K %T High performance answer set solving

@phdthesis{kaufmann2015performance, added-at = {2023-12-12T21:33:54.000+0100}, author = {Kaufmann, Benjamin}, biburl = {https://www.bibsonomy.org/bibtex/259df64a4d458dd0af3d3657d3df4fd3e/admin}, dnbtitleid = {1069782130}, interhash = {401118e28f09e3198ba0227da816e4d1}, intrahash = {59df64a4d458dd0af3d3657d3df4fd3e}, keywords = {}, school = {Uni Potsdam}, timestamp = {2023-12-12T21:33:54.000+0100}, title = {High performance answer set solving}, year = 2015 }