Dawar, Anuj
- Graph Isomorphism Parameterized by Elimination Distance to Bounded\n Degree
2014/06/18 by Jannis Bulian, Bulian, Jannis, Anuj Dawar +1 · 3 citations
Computer Science · #Advanced Graph Theory Research #Complexity and Algorithms in Graphs #Computational Complexity (cs.CC) #Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #F.2.2 #FOS: Computer and information sciences #G.2.2 #Optimization and Search Problems
- Homomorphism Preservation on Quasi-Wide Classes
2008/11/27 by Anuj Dawar, Dawar, Anuj · 2 citations
Mathematics · Computer Science · #Advanced Topology and Set Theory #Coding theory and cryptography #Limits and Structures in Graph Theory
- Fixed-parameter Tractable Distances to Sparse Graph Classes
2015/02/20 by Bulian, Jannis, Dawar, Anuj · 2 citations
#Computational Complexity (cs.CC) #Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- The pebbling comonad in finite model theory
2017/04/17 by Abramsky, Samson, Dawar, Anuj, Wang, Pengming · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Constructing Hard Examples for Graph Isomorphism
2018/09/21 by Dawar, Anuj, Khan, Kashif · 1 citation
#Computational Complexity (cs.CC) #Discrete Mathematics (cs.DM) #F.2.2 #FOS: Computer and information sciences #G.2.2 #G.4
- Approximations of Isomorphism and Logics with Linear-Algebraic Operators
2019/02/18 by Dawar, Anuj, Grädel, Erich, Pakusa, Wied · 1 citation
#03C13 #03C80 #68Q19 #Computational Complexity (cs.CC) #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
- Preservation theorems on sparse classes revisited
2024/05/17 by Anuj Dawar, Ioannis Eleftheriadis, Dawar, Anuj +1 · 1 citation
Computer Science · #03B70 #03C13 #05C10 #68Q19 #Advanced Algebra and Logic #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Rough Sets and Fuzzy Logic