Solving the Resolution-Free SAT Problem by Hyper-Unit Propagation in Linear Time
https://www.powershow.com/view4/7288b5-MDMwY/Solving_the_Resolution-Free_SAT_Problem_by_Hyper-Unit_Propagation_in_Linear_Time_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/