Keynote address 2: “Advances in boolean satisfiability and its application in EDA”

In this talk, an overview of the latest advances in SAT technology will be provided. Specifically, the input format of SAT solvers and the common SAT algorithms used to solve decision/optimization problems will be described. In addition, the speaker will highlight the use of SAT algorithms in solving a variety of EDA decision and optimization problems. This should guide researchers in solving their existing decision/optimization problems using the new SAT technology. Finally, a prospective on future work on SAT will be provided.