Résultats de la recherche - Promies, Valentin

  • Résultat(s) 1 - 2 résultats de 2
Affiner les résultats
  1. 1
    Image de couverture de livre

    FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex par Promies, Valentin, Nalbach, Jasper, Ábrahám, Erika, Kobialka, Paul

    Publié 2023
    Accéder au texte intégral
    Preprint

    Ajouter aux favoris
    Enregistré dans:
  2. 2
    Image de couverture de livre

    More is Less: Adding Polynomials for Faster Explanations in NLSAT par Promies, Valentin, Nalbach, Jasper, Ábrahám, Erika, Wagner, Paul

    Publié 2025
    Accéder au texte intégral
    Preprint

    Ajouter aux favoris
    Enregistré dans:

Outils de recherche: