Resultados de búsqueda - Codish, Michael

  • Mostrando 1 - 4 Resultados de 4
Limitar resultados
  1. 1
    Imagen de Portada

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

    Publicado 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  2. 2
    Imagen de Portada

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

    Publicado 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  3. 3
    Imagen de Portada

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

    Publicado 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  4. 4
    Imagen de Portada

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

    Publicado 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:

Herramientas de búsqueda: