| Title | Lookahead-Based SMT Solving |
| Publication Type | Conference Paper |
| Year of Publication | 2018 |
| Authors | Hyvärinen, Antti E. J., Marescotti Matteo, Sadigova Parvin, Chockler Hana, and Sharygina Natasha |
| Conference Name | LPAR-22 |
| Date Published | November 2018 |
| Publisher | EasyChair |
| Conference Location | Awassa, Ethiopia |
| URL | http://www.inf.usi.ch/postdoc/hyvarinen/publications/HyvarinenMSCS_LPAR2018.pdf |
| Full Text |
Formal Verification and Security Lab
The Lab is funded by Swiss National Science Foundation, Foundation Tasso, Hasler Foundation, EU-COST initiative and EU FP7/Pincette.
