Shatter: Efficient SymmetryBreaking for Boolean Satisfiability
https://www.powershow.com/view1/297cce-ZDc1Z/Shatter_Efficient_SymmetryBreaking_for_Boolean_Satisfiability_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
Icons create by Freepik from www.flaticon.com/