Fast Illegal State Identification for Improving SATbased Induction
https://www.powershow.com/view/1559aa-MWU1M/Fast_Illegal_State_Identification_for_Improving_SATbased_Induction_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
