Adaptive Planning Search Algorithm for Analog Circuit Verification - Manolache, Cristian (arXiv.org)