Lookahead-Based SMT Solving

TitleLookahead-Based SMT Solving
Publication TypeConference Paper
Year of Publication2018
AuthorsHyvärinen, Antti E. J., Marescotti Matteo, Sadigova Parvin, Chockler Hana, and Sharygina Natasha
Conference NameLPAR-22
Date PublishedNovember 2018
PublisherEasyChair
Conference LocationAwassa, Ethiopia
URLhttp://www.inf.usi.ch/postdoc/hyvarinen/publications/HyvarinenMSCS_LPAR2018.pdf
Full Text