Suchergebnisse - Codish, Michael

  • Treffer 1 - 4 von 4
Treffer weiter einschränken
  1. 1
    Buchumschlag

    Breaking Symmetries from a Set-Covering Perspective Autoría: Codish, Michael, Janota, Mikoláš

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    Breaking Symmetries with Involutions Autoría: Codish, Michael, Janota, Mikoláš

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: