CLP(Str)

In cooperation with periplus instruments, we evaluate to what extend constraint logic programming can be used to reason over string constraints. In particular, we implement a constraint solver based on SWI Prolog and CHR, integration existing solvers such as CLP(FD). We mainly target test data generation for data-intensive applications such as data warehouses.

Avatar
Sebastian Krings
Postdoc

My research interests include formal methods, model checking and logic programming.

Related