Login / Signup
Florian Widmann
Publication Activity (10 Years)
Years Active: 2004-2014
Publications (10 Years): 0
Top Topics
Linear Inequalities
Modal Logic
Prime Implicates
Inference Rules
Top Venues
Int. J. Comput. Vis.
LPAR
IJCAR
</>
Publications
</>