DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
In this paper, we show how to integrate SAT-based techniques into the task of system synthesis by regarding the the problems: (i) feasibility check and (ii) evaluation of quality....