(Back to Session Schedule)

The 12th Asia and South Pacific Design Automation Conference

Session 9C Satisfiability and Applications
Time: 16:00 - 18:05 Friday, January 26, 2007
Location: Room 414+415
Chairs: Jun Sawada (IBM, United States), Takashi Takenaka (NEC, Japan)

9C-1 (Time: 16:00 - 16:25)
TitleMultithreaded SAT Solving
Author*Matthew Lewis, Tobias Schubert, Bernd Becker (Albert-Ludwigs-Univ. of Freiburg, Germany)
Pagepp. 926 - 931
Detailed information (abstract, keywords, etc)

9C-2 (Time: 16:25 - 16:50)
TitleTrace Compaction using SAT-based Reachability Analysis
Author*Sean Safarpour, Andreas Veneris, Hratch Mangassarian (Univ. of Toronto, Canada)
Pagepp. 932 - 937
Detailed information (abstract, keywords, etc)

9C-3 (Time: 16:50 - 17:15)
TitleCombinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets
Author*Stefan Disch, Christoph Scholl (Univ. of Freiburg, Germany)
Pagepp. 938 - 943
Detailed information (abstract, keywords, etc)

9C-4 (Time: 17:15 - 17:40)
TitleFixing Design Errors with Counterexamples and Resynthesis
Author*Kai-hui Chang, Igor L. Markov, Valeria Bertacco (Univ. of Michigan at Ann Arbor, United States)
Pagepp. 944 - 949
Detailed information (abstract, keywords, etc)