Jaroslav Keznikl

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 1

Top Topics

Simplifying Assumptions

Pruning Algorithm

Boolean Formula

Top Venues

SERA (selected papers)

COMPSAC Workshops

Publications