Jan Rasmus Tikovsky

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 2

Top Topics

Constraint Solver

Answer Set Programming

Bounded Treewidth

Top Venues

Software Engineering (Workshops)

Publications