Satisfiability Models and Algorithms for Circuit Delay Computation. e Silva, L. G., Marques-Silva, J., Silveira, L. M., & Sakallah, K. A. In TAU97-ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, pages 57-62, Austin, Texas, December, 1997. bibtex @inproceedings{esilva1997satisfiability,
author = {e Silva, Luis Guerra and Marques-Silva, {J\~oao} and Silveira, Luis Miguel and Sakallah, Karem A.},
title = {{Satisfiability Models and Algorithms for Circuit Delay Computation}},
booktitle = {TAU97-ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems},
address = {Austin, Texas},
pages = {57-62},
month = {December},
year = {1997}
}
Downloads: 0
{"_id":"u5e4qpjxMPTJHDSNE","bibbaseid":"esilva-marquessilva-silveira-sakallah-satisfiabilitymodelsandalgorithmsforcircuitdelaycomputation-1997","author_short":["e Silva, L. G.","Marques-Silva, J.","Silveira, L. M.","Sakallah, K. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":["e"],"lastnames":["Silva"],"firstnames":["Luis","Guerra"],"suffixes":[]},{"propositions":[],"lastnames":["Marques-Silva"],"firstnames":["Jõao"],"suffixes":[]},{"propositions":[],"lastnames":["Silveira"],"firstnames":["Luis","Miguel"],"suffixes":[]},{"propositions":[],"lastnames":["Sakallah"],"firstnames":["Karem","A."],"suffixes":[]}],"title":"Satisfiability Models and Algorithms for Circuit Delay Computation","booktitle":"TAU97-ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems","address":"Austin, Texas","pages":"57-62","month":"December","year":"1997","bibtex":"@inproceedings{esilva1997satisfiability,\n author = {e Silva, Luis Guerra and Marques-Silva, {J\\~oao} and Silveira, Luis Miguel and Sakallah, Karem A.},\n title = {{Satisfiability Models and Algorithms for Circuit Delay Computation}},\n booktitle = {TAU97-ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems},\n address = {Austin, Texas},\n pages = {57-62},\n month = {December},\n year = {1997}\n}\n\n","author_short":["e Silva, L. G.","Marques-Silva, J.","Silveira, L. M.","Sakallah, K. A."],"key":"esilva1997satisfiability","id":"esilva1997satisfiability","bibbaseid":"esilva-marquessilva-silveira-sakallah-satisfiabilitymodelsandalgorithmsforcircuitdelaycomputation-1997","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://web.eecs.umich.edu/~karem/publications/Sakallah-Publications.bib","dataSources":["dAWPbXiJP4ihEN4GZ"],"keywords":[],"search_terms":["satisfiability","models","algorithms","circuit","delay","computation","e silva","marques-silva","silveira","sakallah"],"title":"Satisfiability Models and Algorithms for Circuit Delay Computation","year":1997}