This shows you the differences between two versions of the page.

Link to this comparison view

course:synthesis [2017/07/24 16:06] (current)
mht208 created
Line 1: Line 1:
 +Boolean satisfiability (SAT) has become an indispensable tool in the synthesis and verification hardware and software systems. In this lecture, we will cover some fundamental elements of SAT and quantified Boolean satisfiability (QSAT). Some examples will be introduced to show how SAT and QSAT are applied in solving industrial problems.