Michal He\v{c}ko

Identifiers

• name variant Michal He\v{c}ko 0.60 · backfill

Papers (3)

1. Negated String Containment is Decidable (Technical Report) cs.LO · 2025 · author #2
2. A Uniform Framework for Handling Position Constraints in String Solving (Technical Report) cs.LO · 2025 · author #3
3. Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report) cs.LO · 2024 · author #3

Mentions

• 2506.22061 #2 · arxiv_oai · confidence 0.70 Michal He\v{c}ko
• 2504.07033 #3 · arxiv_oai · confidence 0.70 Michal He\v{c}ko
• 2403.18995 #3 · arxiv_oai · confidence 0.70 Michal He\v{c}ko

Frequent Coauthors

• Luk\'a\v{s} Hol\'ik 3 shared papers
• Ond\v{r}ej Leng\'al 3 shared papers
• Vojt\v{e}ch Havlena 3 shared papers
• Peter Habermehl 1 shared papers
• Yu-Fang Chen 1 shared papers