Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is Parvin Sadigova and First Letter Of Title is L  [Clear All Filters]
2018
Lookahead-Based SMT Solving, Hyvärinen, Antti E. J., Marescotti Matteo, Sadigova Parvin, Chockler Hana, and Sharygina Natasha , LPAR-22, November 2018, Awassa, Ethiopia, (2018)