Login / Signup
Christoph Erkinger
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Modulo Theories
Answer Set Programming
Top Venues
IJCAI
</>
Publications
</>
Christoph Erkinger
,
Nysret Musliu
Personnel Scheduling as Satisfiability Modulo Theories.
IJCAI
(2017)