Lookahead-Based SMT Solving

DOI10.29007/gzzfzbMath1415.68193OpenAlexW2908216958MaRDI QIDQ5222970

Natasha Sharygina, Matteo Marescotti, Hana Chockler, Antti E. J. Hyvärinen, Parvin Sadigova

Publication date: 4 July 2019

Published in: EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.29007/gzzf

zbMATH Keywords

SMT solvingclause learninglookahead heuristic

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)