3
Publications
45
Citations
3
H-Index
2019
Active since
Affiliations
Tomáš Toufar is an author at Charles University specializing in computational complexity, verification, and formal methods.
Top concepts
EngineeringGraph TheoryVerificationFormal MethodsAlgorithm DesignComputer ScienceProof ComplexityAutomated ReasoningFormal VerificationComputational Science
Publications per year
2019–2022
3
3
Target Set Selection in Dense Graph Classes
Pavel Dvořák, Dušan Knop, Tomáš Toufar · SIAM Journal on Discrete Mathematics · 2022 · 14 citations · Full text
Parameterized complexity of fair deletion problems
Tomáš Masařík, Tomáš Toufar · Discrete Applied Mathematics · 2019 · 12 citations · Full text
Rows per page
1–3 of 3