Login / Signup
Paulína Ayaziová
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 3
Top Topics
Linear Programming
Column Generation
International Competition
Multiscale
Top Venues
TACAS (2)
</>
Publications
</>
Paulína Ayaziová
,
Jan Strejcek
Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation - (Competition Contribution).
TACAS (2)
(2023)
Paulína Ayaziová
,
Marek Chalupa
,
Jan Strejcek
Symbiotic-Witch: A Klee-Based Violation Witness Checker - (Competition Contribution).
TACAS (2)
(2022)
Marek Chalupa
,
Tomás Jasek
,
Lukás Tomovic
,
Martin Hruska
,
Veronika Soková
,
Paulína Ayaziová
,
Jan Strejcek
,
Tomás Vojnar
Symbiotic 7: Integration of Predator and More - (Competition Contribution).
TACAS (2)
(2020)