Publications

2015
Encoding CSP into CCS
Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann
EXPRESS/SOS, EPTCS 190: 16, 2015
2017
The Minimum Shared Edges Problem on Grid-like Graphs
Till Fluschnik, Meike Hatzel, Steffen Härtlein, Hendrik Molter, Henning Seidler
WG2017