The%20Quest%20for%20Efficient%20Boolean%20Satisfiability%20Solvers
https://www.powershow.com/viewht/1a7a14-ZDc1Z/The_20Quest_20for_20Efficient_20Boolean_20Satisfiability_20Solvers_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/