Satisfiability Checking of Nonclausal Formulas using General Matings
https://www.powershow.com/view/11df0f-NmJjY/Satisfiability_Checking_of_Nonclausal_Formulas_using_General_Matings_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
