![](/img/cover-not-exists.png)
[IEEE 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2013.11.18-2013.11.21)] 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Proof logging for computer algebra based SMT solving
Marx, Oliver, Wedler, Markus, Stoffel, Dominik, Kunz, Wolfgang, Dreyer, AlexanderYear:
2013
Language:
english
DOI:
10.1109/iccad.2013.6691188
File:
PDF, 683 KB
english, 2013