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)
Contribution to a conference proceedings, Journal Article

In: Dagstuhl reports
Volume: 12
Issue: 2
Page(s)/Article-Nr.: 67-86