Search Results - Codish, Michael

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Cover Image

    Breaking Symmetries from a Set-Covering Perspective by Codish, Michael, Janota, Mikoláš

    Published 2025
    Get full text
    Preprint

    Save to List
    Saved in:
  2. 2
    Cover Image

    Breaking Symmetries with Involutions by Codish, Michael, Janota, Mikoláš

    Published 2025
    Get full text
    Preprint

    Save to List
    Saved in:
  3. 3
    Cover Image

    Complete Symmetry Breaking for Finite Models by Dančo, Marek, Janota, Mikoláš, Codish, Michael, Araújo, João Jorge

    Published 2025
    Get full text
    Preprint

    Save to List
    Saved in:
  4. 4
    Cover Image

    SAT-Based Techniques for Lexicographically Smallest Finite Models by Janota, Mikoláš, Chow, Choiwah, Araújo, João, Codish, Michael, Vojtěchovský, Petr

    Published 2025
    Get full text
    Preprint

    Save to List
    Saved in:

Search Tools: