Fallah, F., Devadas, S., & Keutzer, K. (1998, January). Functional vector generation for HDL models using linear programming and 3-satisfiability. DAC 98: DAC: 35th Annual ACM/IEEE Design Automation Conference, 528-533. https://doi.org/10.1145/277044.277187
Chicago Style (17th ed.) CitationFallah, Farzan, Srinivas Devadas, and Kurt Keutzer. "Functional Vector Generation for HDL Models Using Linear Programming and 3-satisfiability." DAC 98: DAC: 35th Annual ACM/IEEE Design Automation Conference Jan. 1998: 528-533. https://doi.org/10.1145/277044.277187.
MLA (9th ed.) CitationFallah, Farzan, et al. "Functional Vector Generation for HDL Models Using Linear Programming and 3-satisfiability." DAC 98: DAC: 35th Annual ACM/IEEE Design Automation Conference, Jan. 1998, pp. 528-533, https://doi.org/10.1145/277044.277187.