Articles in journal, book chapters
- Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, and Dierk Ehmke. Towards Constraint Logic Programming over Strings for Test Data Generation. arXiv preprint arXiv:1908.10203, 2019.
Conference articles
- Sebastian Krings and Michael Leuschel. Constraint Logic Programming over Infinite Domains with an Application to Proof. In Proc. 30th Workshop on Logic Programming (WLP 2016), 2016.
BACK TO INDEX