Not registered as user yet

Name: Michael Leuschel

Affiliation: University of Düsseldorf

Contributions

PADL 2018 Three is a crowd: SAT, SMT and CLP on a chessboard
Show activities from other conferences

POPL 2018-profile
View general profile