{"id":620,"date":"2020-05-06T15:33:19","date_gmt":"2020-05-06T19:33:19","guid":{"rendered":"https:\/\/blogs.goucher.edu\/symposium\/?p=620"},"modified":"2020-05-07T23:46:59","modified_gmt":"2020-05-08T03:46:59","slug":"the-satisfiability-problem-implementing-a-clause-learning-sat-solver","status":"publish","type":"post","link":"https:\/\/blogs.goucher.edu\/symposium\/2020\/the-satisfiability-problem-implementing-a-clause-learning-sat-solver\/","title":{"rendered":"The Satisfiability Problem: Implementing a Clause-Learning SAT Solver"},"content":{"rendered":"<h2>Rosalind (Rosie) David &#8217;20<\/h2>\n<p>Computer Science Major<br \/>\nFaculty Sponsor: Jill Zimmerman<\/p>\n<h3>Abstract<\/h3>\n<p>I researched the Boolean Satisfiability (SAT) Problem and the algorithm used to solve it. I first implemented a basic SAT Solver and then a more advanced Conflict-Driven Clause-Learning Solver. In this presentation I demonstrate how my solver learns new clauses and compared its performance to the basic version.<\/p>\n<p>&nbsp;<\/p>\n<p><iframe loading=\"lazy\" title=\"Rosie David Senior Capstone 2020\" width=\"688\" height=\"387\" src=\"https:\/\/www.youtube.com\/embed\/R05_HdOyn3s?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen><\/iframe><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Rosalind (Rosie) David &#8217;20 Computer Science Major Faculty Sponsor: Jill Zimmerman Abstract I researched the Boolean Satisfiability (SAT) Problem and&hellip;<\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"footnotes":""},"categories":[70021,70060],"tags":[70130,8430,500,70055],"class_list":["post-620","post","type-post","status-publish","format-standard","hentry","category-capstone","category-center-for-data-mathematical-and-computational-sciences","tag-algorithms","tag-computer-science","tag-presentation","tag-programming"],"_links":{"self":[{"href":"https:\/\/blogs.goucher.edu\/symposium\/wp-json\/wp\/v2\/posts\/620","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.goucher.edu\/symposium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.goucher.edu\/symposium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.goucher.edu\/symposium\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.goucher.edu\/symposium\/wp-json\/wp\/v2\/comments?post=620"}],"version-history":[{"count":3,"href":"https:\/\/blogs.goucher.edu\/symposium\/wp-json\/wp\/v2\/posts\/620\/revisions"}],"predecessor-version":[{"id":623,"href":"https:\/\/blogs.goucher.edu\/symposium\/wp-json\/wp\/v2\/posts\/620\/revisions\/623"}],"wp:attachment":[{"href":"https:\/\/blogs.goucher.edu\/symposium\/wp-json\/wp\/v2\/media?parent=620"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.goucher.edu\/symposium\/wp-json\/wp\/v2\/categories?post=620"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.goucher.edu\/symposium\/wp-json\/wp\/v2\/tags?post=620"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}