Login / Signup
Jan Elffers
Publication Activity (10 Years)
Years Active: 2014-2020
Publications (10 Years): 10
Top Topics
Sat Solving
Combinatorial Problems
Cutting Plane
Propositional Satisfiability
Top Venues
SAT
AAAI
IJCAI
CoRR
</>
Publications
</>