Simplifying Alternating Automata for Emptiness Testing. - Pavol Vargovcík; Lukás Holík (APLAS, 2021)

Reasoning About Regular Properties: A Comparative Study. - Tomás Fiedor; Lukás Holík; Martin Hruska; Adam Rogalewicz; Juraj Síc; Pavol Vargovcík (CADE, 2023)

Antichain with SAT and Tries. - Lukás Holík; Pavol Vargovcík (SAT, 2024)

AntiSAT. - Pavol Vargovcík (DROPS Artifacts, 2024)