Juraj Síc

19 papers A 3B 3Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Word equations in synergy with regular constraints (extended version).
Constraints An Int. J.
Frantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
2025 — conf
Z3-Noodler 1.3: Shepherding Decision Procedures for Strings with Model Generation.
TACAS (2)
David Chocholatý, Vojtech Havlena, Lukás Holík, Jan Hranicka, Ondrej Lengál, Juraj Síc
2024 A conf
Cooking String-Integer Conversions with Noodles.
SAT
Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
2024 — conf
Mata: A Fast and Simple Finite Automata Library.
TACAS (2)
David Chocholatý, Tomás Fiedor, Vojtech Havlena, Lukás Holík, Martin Hruska, Ondrej Lengál, Juraj Síc
2024 — conf
Z3-Noodler: An Automata-based String Solver.
TACAS (1)
Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
2023 J jnl
Fast Matching of Regular Patterns with Synchronizing Counting (Technical Report).
CoRR
Lukás Holík, Juraj Síc, Lenka Turonová, Tomás Vojnar
2023 B conf
Fast Matching of Regular Patterns with Synchronizing Counting.
FoSSaCS
Lukás Holík, Juraj Síc, Lenka Turonová, Tomás Vojnar
2023 J jnl
Mata, a Fast and Simple Finite Automata Library (Technical Report).
CoRR
David Chocholatý, Tomás Fiedor, Vojtech Havlena, Lukás Holík, Martin Hruska, Ondrej Lengál, Juraj Síc
2023 A conf
Reasoning About Regular Properties: A Comparative Study.
CADE
Tomás Fiedor, Lukás Holík, Martin Hruska, Adam Rogalewicz, Juraj Síc, Pavol Vargovcík
2023 J jnl
Reasoning about Regular Properties: A Comparative Study.
CoRR
Tomás Fiedor, Lukás Holík, Martin Hruska, Adam Rogalewicz, Juraj Síc, Pavol Vargovcík
2023 J jnl
Solving String Constraints with Lengths by Stabilization.
Proc. ACM Program. Lang.
Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
2023 B conf
Word Equations in Synergy with Regular Constraints.
FM
Frantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
2023 J jnl
Z3-Noodler: An Automata-based String Solver (Technical Report).
CoRR
Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
2022 — conf
Automata with Bounded Repetition in RE2.
EUROCAST
Michal Horký, Juraj Síc, Lenka Turonová
2022 J jnl
Solving dependency quantified Boolean formulas using quantifier localization.
Theor. Comput. Sci.
Aile Ge-Ernst, Christoph Scholl, Juraj Síc, Ralf Wimmer
2022 J jnl
Word Equations in Synergy with Regular Constraints (Technical Report).
CoRR
Frantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
2021 A conf
DQBDD: An Efficient BDD-Based DQBF Solver.
SAT
Juraj Síc, Jan Strejcek
2018 J jnl
Simulation Algorithms for Symbolic Automata (Technical Report).
CoRR
Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar
2018 B conf
Simulation Algorithms for Symbolic Automata.
ATVA
Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar