A Scalable Approach to Exact Resource-Constrained Scheduling Based on a Joint SDC and SAT Formulation (Conference Paper) | NSF PAGES

skip to main content

Citation Details

A Scalable Approach to Exact Resource-Constrained Scheduling Based on a Joint SDC and SAT Formulation

Award ID(s):: 1453378 1618275 1337240

NSF-PAR ID:: 10064563

Author(s) / Creator(s):: Dai, Steve; Liu, Gai; Zhang, Zhiru

Date Published:: 2018-01-01

Journal Name:: International Symposium on Field-Programmable Gate Arrays

Page Range / eLocation ID:: 137 to 146

Format(s):: Medium: X

Sponsoring Org:: National Science Foundation

Free Publicly Accessible Full Text
Accepted Manuscript1.0
Conference Paper:
https://doi.org/10.1145/3174243.3174268