SAT-based resource binding for reducing critical path delays

Kenshu Seto, Yuta Nonaka, Takuya Maruizumi, Yasuhiro Shiraki. SAT-based resource binding for reducing critical path delays. In FPL 2008, International Conference on Field Programmable Logic and Applications, Heidelberg, Germany, 8-10 September 2008. pages 507-510, IEEE, 2008. [doi]

@inproceedings{SetoNMS08,
  title = {SAT-based resource binding for reducing critical path delays},
  author = {Kenshu Seto and Yuta Nonaka and Takuya Maruizumi and Yasuhiro Shiraki},
  year = {2008},
  doi = {10.1109/FPL.2008.4629995},
  url = {http://dx.doi.org/10.1109/FPL.2008.4629995},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/SetoNMS08},
  cites = {0},
  citedby = {0},
  pages = {507-510},
  booktitle = {FPL 2008, International Conference on Field Programmable Logic and Applications, Heidelberg, Germany, 8-10 September 2008},
  publisher = {IEEE},
}