Lightweight Online Learning for Sets of Related Problems in Automated Reasoning

Published in Formal Methods in Computer-Aided Design (FMCAD'23), 2023