New Perspectives in Symbolic Computation and Satisfiability Checking

Ábrahám, Erika (Corresponding author); Davenport, James H. (Corresponding author); England, Matthew (Corresponding author); Griggio, Alberto (Corresponding author)

Wadern : Schloss Dagstuhl (2022)
Beitrag zu einem Tagungsband, Fachzeitschriftenartikel

In: Dagstuhl reports
Band: 12
Heft: 2
Seite(n)/Artikel-Nr.: 67-86

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehr- und Forschungsgebiet Theorie Hybrider Systeme [123420]