Dvořák, Pavel
- Solving Integer Linear Programs with a Small Number of Global Variables\n and Constraints
2017/06/19 by Pavel Dvořák, Eduard Eiben, Dvořák, Pavel +7 · 2 citations
Computer Science · Engineering · #Advanced Algebra and Logic #Advanced Graph Theory Research #Constraint Satisfaction and Optimization #Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #F.2.2 #FOS: Computer and information sciences #Formal Methods in Verification #Vehicle Routing Optimization Methods
- Lower Bounds for Semi-adaptive Data Structures via Corruption
2020/05/05 by Dvořák, Pavel, Loff, Bruno · 2 citations
#Computational Complexity (cs.CC) #F.2 #FOS: Computer and information sciences
- Parameterized complexity of length-bounded cuts and multi-cuts
2015/11/09 by Dušan Knop, Pavel Dvořák, Knop, Dušan +1 · 1 citation
Computer Science · #Advanced Graph Theory Research
- Data Structures Lower Bounds and Popular Conjectures
2021/02/18 by Dvořák, Pavel, Koucký, Michal, Král, Karel +1 · 1 citation
#Computational Complexity (cs.CC) #F.2 #FOS: Computer and information sciences
- Parameterized Inapproximability of Independent Set in H-Free Graphs
2020/06/18 by Pavel Dvořák, Dvořák, Pavel, Andreas Emil Feldmann +5 · 1 citation
Computer Science · Mathematics · #Advanced Graph Theory Research #Complexity and Algorithms in Graphs #Computational Complexity (cs.CC) #F.2 #FOS: Computer and information sciences #Limits and Structures in Graph Theory