conf.researchr.org / Michael Leuschel

Not registered as user yet

Name: Michael Leuschel

Affiliation: University of Düsseldorf

Contributions

PADL 2020Committee Member in Program Committee within the PADL 2020-track
PEPM 2019Committee Member in Program Committee within the PEPM 2019-track
PADL 2018Author of Three is a crowd: SAT, SMT and CLP on a chessboard within the PADL 2018-track
PEPM 2015Committee Member in Program Committee within the PEPM 2015-track
DLS 2013Committee Member in Program Committee within the Research Papers-track