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