Publications by Patrick Lühne
plasp 3: Towards Effective ASP Planning
Article in Journal, in Theory and Practice of Logic Programming 3, pp. 477-504 (2018)
Answer Set Solving with Generalized Learned Constraints
Technical Communications of the Thirty-second International Conference on Logic Programming (ICLP'16) (2016)