Andrei Draghici

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

Constrained Optimization

Randomly Generated Problems

Affine Transformation

Top Venues

Publications

Andrei Draghici, Christoph Haase, Andrew Ryzhikov
Reachability in Fixed VASS: Expressiveness and Lower Bounds. FoSSaCS (2) (2024)
Andrei Draghici, Christoph Haase, Florin Manea
Semënov Arithmetic, Affine {VASS}, and String Constraints. STACS (2024)
Andrei Draghici, Christoph Haase, Andrew Ryzhikov
Reachability in Fixed VASS: Expressiveness and Lower Bounds. CoRR (2023)
Andrei Draghici, Christoph Haase, Florin Manea
Semënov Arithmetic, Affine VASS, and String Constraints. CoRR (2023)
Andrei Draghici, Georg Gottlob, Matthias Lanzinger
On the Complexity of Inductively Learning Guarded Clauses. AAAI (2022)
Andrei Draghici, Georg Gottlob, Matthias Lanzinger
On the Complexity of Inductively Learning Guarded Rules. CoRR (2021)