Symbolic Computation Techniques in SMT Solving: Mathematical Beauty meets Efficient Heuristics
Author: Erika Abraham
Paper Information
| Title: | Symbolic Computation Techniques in SMT Solving: Mathematical Beauty meets Efficient Heuristics |
| Authors: | Erika Abraham |
| Proceedings: | IJCAR Proceedings 9th IJCAR, 2018 |
| Editors: | Stephan Schulz, Didier Galmiche and Roberto Sebastiani |
| Keywords: | |
| Abstract: | |
| Pages: | 1 |
| Paper: |  |