Symbolic computation and satisfiability checking
- James H. Davenport
- , Matthew England
- , Alberto Griggio
- , Thomas Sturm
- , Cesare Tinelli
- Coventry University
- Fondazione Bruno Kessler
- Université de Lorraine
- Universität des Saarlandes
- Iowa State University
Research output: Contribution to journal › Editorial › peer-review
11
Link opens in a new tab
Citations
(SciVal)
113
Downloads
(Pure)