Marc Meister

Publication Activity (10 Years)

Years Active: 2006-2007
Publications (10 Years): 0

University of Ulm (PHD)

Education History

University of Ulm

PHD

Publications

Marc Meister, Khalil Djelloul, Jacques Robin
A Unified Semantics for Constraint Handling Rules in Transaction Logic. LPNMR (2007)
Marc Meister, Khalil Djelloul, Thom W. Frühwirth
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees. CSCLP (2006)
Marc Meister
Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR. WLP (2006)