3 ms·nice. EDA indeed one of the top applications of SATby chaisan 8mo agonice. EDA indeed one of the top applications of SAT