No photo of Gaurav Rattan

Gaurav Rattan

dr.

20242024

Research activity per year

Fingerprint

Dive into the research topics where Gaurav Rattan is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 2 Conference contribution

  • Satsuma: Structure-Based Symmetry Breaking in SAT

    Rattan, G., Anders, M. & Brenner, S., 19 Aug 2024, 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024). Chakraborty, S. & Jiang, J.-H. R. (eds.). Dagstuhl, p. 1-23 23 p. 4. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 305).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    17 Downloads (Pure)

  • The Complexity of Symmetry Breaking Beyond Lex-Leader

    Anders, M., Brenner, S. & Rattan, G., 29 Aug 2024, 30th International Conference on Principles and Practice of Constraint Programming (CP 2024). Shaw , P. (ed.). Dagstuhl, 24 p. 3. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 307).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    28 Downloads (Pure)