Title :
Keynote address 2: “Advances in boolean satisfiability and its application in EDA”
Author :
Aloul, Fadi ; Zorian, Yervant
Author_Institution :
American University of Sharjah, UAE
Abstract :
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.
Conference_Titel :
Design and Test Workshop, 2008. IDT 2008. 3rd International
Conference_Location :
Monastir
Print_ISBN :
978-1-4244-3479-4
DOI :
10.1109/IDT.2008.4802452
