Juraj Síc

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 17

Top Topics

Boolean Formula

Finite Automata

Technical Report

Hamming Distance

Top Venues

Proc. ACM Program. Lang.

Publications

Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
Cooking String-Integer Conversions with Noodles. SAT (2024)
Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
Z3-Noodler: An Automata-based String Solver. TACAS (1) (2024)
David Chocholatý, Tomás Fiedor, Vojtech Havlena, Lukás Holík, Martin Hruska, Ondrej Lengál, Juraj Síc
Mata: A Fast and Simple Finite Automata Library. TACAS (2) (2024)
Lukás Holík, Juraj Síc, Lenka Turonová, Tomás Vojnar
Fast Matching of Regular Patterns with Synchronizing Counting (Technical Report). CoRR (2023)
Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
Solving String Constraints with Lengths by Stabilization. Proc. ACM Program. Lang. 7 (OOPSLA2) (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. CoRR (2023)
David Chocholatý, Tomás Fiedor, Vojtech Havlena, Lukás Holík, Martin Hruska, Ondrej Lengál, Juraj Síc
Mata, a Fast and Simple Finite Automata Library (Technical Report). CoRR (2023)
Lukás Holík, Juraj Síc, Lenka Turonová, Tomás Vojnar
Fast Matching of Regular Patterns with Synchronizing Counting. FoSSaCS (2023)
Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
Z3-Noodler: An Automata-based String Solver (Technical Report). CoRR (2023)
Frantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
Word Equations in Synergy with Regular Constraints. FM (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)
Michal Horký, Juraj Síc, Lenka Turonová
Automata with Bounded Repetition in RE2. EUROCAST (2022)
Frantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
Word Equations in Synergy with Regular Constraints (Technical Report). CoRR (2022)
Aile Ge-Ernst, Christoph Scholl, Juraj Síc, Ralf Wimmer
Solving dependency quantified Boolean formulas using quantifier localization. Theor. Comput. Sci. 925 (2022)
Juraj Síc, Jan Strejcek
DQBDD: An Efficient BDD-Based DQBF Solver. SAT (2021)
Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar
Simulation Algorithms for Symbolic Automata. ATVA (2018)
Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar
Simulation Algorithms for Symbolic Automata (Technical Report). CoRR (2018)