Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong Wang. Using Combinatorial Optimization Methods for Quantification Scheduling. In Tiziana Margaria, Thomas F. Melham, editors, Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings. Volume 2144 of Lecture Notes in Computer Science, pages 293-309, Springer, 2001. [doi]
@inproceedings{ChauhanCJKVW01,
title = {Using Combinatorial Optimization Methods for Quantification Scheduling},
author = {Pankaj Chauhan and Edmund M. Clarke and Somesh Jha and James H. Kukula and Helmut Veith and Dong Wang},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2144/21440293.htm},
tags = {optimization},
researchr = {https://researchr.org/publication/ChauhanCJKVW01},
cites = {0},
citedby = {0},
pages = {293-309},
booktitle = {Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings},
editor = {Tiziana Margaria and Thomas F. Melham},
volume = {2144},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42541-1},
}