Suchergebnisse - Promies, Valentin

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

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

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

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

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

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

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: