Sebastian Zivota

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 3

Top Topics

Multicriteria Optimization

Problems Involving

Functional Dependencies

Top Venues

J. Log. Comput.

Publications

Stefan Hetzl, Sebastian Zivota
Decidability of affine solution problems. J. Log. Comput. 30 (3) (2020)
Gabriel Ebner, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner, Sebastian Zivota
System Description: GAPT 2.0. IJCAR (2016)
Stefan Hetzl, Sebastian Zivota
Tree Grammars for the Elimination of Non-prenex Cuts. CSL (2015)