Gaurav Rattan

Employment

• University of Twente Assistant Professor
  2024 - Present
• Technical University of Darmstadt Post-Doc
  2023 - 2024
• RWTH Aachen University DFG Eigene Stelle Researcher
  2019 - 2022
• RWTH Aachen University Post-Doc
  2017 - 2018
• University of Twente

Education

• The Institute of Mathematical Sciences M.Sc. + Ph.D.
  2010 - 2017

Projects & Funding

Projects & funding information is unavailable.

Publications (35)

• Satsuma: Structure-Based Symmetry Breaking in SAT
  Journal of Artificial Intelligence Research 2026 DOI: 10.1613/jair.1.18744
  +Save
• Homomorphism tensors and linear equations
  Advances in Combinatorics 2025 DOI: 10.19086/aic.2025.4
  +Save
• The Complexity of Symmetry Breaking Beyond Lex-Leader
  30th International Conference on Principles and Practice of Constraint Programming (CP 2024) 2024 DOI: 10.4230/LIPIcs.CP.2024.3
  +Save
• Satsuma
  27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024) 2024 DOI: 10.4230/LIPIcs.SAT.2024.4
  +Save
• The Complexity of Symmetry Breaking Beyond Lex-Leader
  2024 DOI: 10.48550/arXiv.2407.04419
  +Save
• satsuma
  2024 DOI: 10.48550/arXiv.2406.13557
  +Save
• Weisfeiler-Leman and Graph Spectra
  Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) 2023 DOI: 10.1137/1.9781611977554.ch87
  +Save
• The Parameterized Complexity of Fixing Number and Vertex Individualization in Graphs
  ACM Transactions on Computation Theory 2022 DOI: 10.1145/3558077
  +Save
• Homomorphism Tensors and Linear Equations
  Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022 DOI: 10.4230/LIPICS.ICALP.2022.70
  +Save
• Ordered Subgraph Aggregation Networks
  CoRR 2022 DOI: 10.48550/arXiv.2206.11168
  +Save