Rastislav Lenhardt

Identifiers

• name variant Rastislav Lenhardt 0.60 · backfill

Papers (5)

1. Semantic Recall for Vector Search cs.IR · 2026 · author #6
2. Model Checking Markov Chains Against Unambiguous Buchi Automata cs.LO · 2014 · author #2
3. Controlling the Depth, Size, and Number of Subtrees for Two-variable Logic on Trees cs.LO · 2013 · author #3
4. Two Variable vs. Linear Temporal Logic in Model Checking and Games cs.LO · 2013 · author #2
5. Proof of Concept: Fast Solutions to NP-problems by Using SAT and Integer Programming Solvers cs.DS · 2010 · author #1

Mentions

• 1304.6925 #3 · backfill · confidence 0.70 Rastislav Lenhardt
• 1303.4533 #2 · backfill · confidence 0.70 Rastislav Lenhardt
• 1011.5447 #1 · backfill · confidence 0.70 Rastislav Lenhardt

Frequent Coauthors

• James Worrell 3 shared papers
• Michael Benedikt 3 shared papers
• Albert Angel 1 shared papers
• Ioanna Tsakalidou 1 shared papers
• Ji\v{r}\'i I\v{s}a 1 shared papers
• Leonardo Kuffo 1 shared papers
• Roberta De Viti 1 shared papers
• Saguy Benaim 1 shared papers