Publications

of Sebastian Krings

Articles in journal, book chapters

  1. 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

  1. 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