Pavol Vargovcík

Publication Activity (10 Years)

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

Top Topics

Stochastic Local Search

Propositional Satisfiability

Top Venues

Publications

Lukás Holík, Pavol Vargovcík
Antichain with SAT and Tries. SAT (2024)
Tomás Fiedor, Lukás Holík, Martin Hruska, Adam Rogalewicz, Juraj Síc, Pavol Vargovcík
Reasoning about Regular Properties: A Comparative Study. CoRR (2023)
Tomás Fiedor, Lukás Holík, Martin Hruska, Adam Rogalewicz, Juraj Síc, Pavol Vargovcík
Reasoning About Regular Properties: A Comparative Study. CADE (2023)
Pavol Vargovcík, Lukás Holík
Simplifying Alternating Automata for Emptiness Testing. APLAS (2021)