Konrad K. Dabrowski
- Solving Infinite-Domain CSPs Using the Patchwork Property
2021/07/03 by Konrad K. Dabrowski, Peter Jönsson, Dabrowski, Konrad K. +5 · 2 citations
Computer Science · #Constraint Satisfaction and Optimization #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Editing to a Planar Graph of Given Degrees
2015/08/11 by Konrad K. Dabrowski, Petr A. Golovach, Dabrowski, Konrad K. +7 · 1 citation
Biochemistry, Genetics and Molecular Biology · #Computational Complexity (cs.CC) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Protein Degradation and Inhibitors
- Clique-Width: Harnessing the Power of Atoms
2020/06/05 by Konrad K. Dabrowski, Dabrowski, Konrad K., Tomáš Masařík +7 · 1 citation
Computer Science · #05C75 #Advanced Graph Theory Research #Combinatorics (math.CO) #Complexity and Algorithms in Graphs #Computational Complexity (cs.CC) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics #Interconnection Networks and Systems
- Algorithms and Complexity of Difference Logic
2024/02/05 by Konrad K. Dabrowski, Peter Jönsson, Dabrowski, Konrad K. +5 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #Advanced Algebra and Logic #DNA and Biological Computing #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #semigroups and automata theory