EHSAT: An Efficient RTL Satisfiability Solver Using an Extended DPLL Procedure
https://www.powershow.com/view1/2336ef-ZDc1Z/EHSAT_An_Efficient_RTL_Satisfiability_Solver_Using_an_Extended_DPLL_Procedure_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
