Robert Wille, Daniel Große, Mathias Soeken, Rolf Drechsler. Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability. In IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2008, 7-9 April 2008, Montpellier, France. pages 411-416, IEEE Computer Society, 2008. [doi]
@inproceedings{WilleGSD08,
title = {Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability},
author = {Robert Wille and Daniel Große and Mathias Soeken and Rolf Drechsler},
year = {2008},
doi = {10.1109/ISVLSI.2008.82},
url = {http://dx.doi.org/10.1109/ISVLSI.2008.82},
tags = {optimization, abstraction},
researchr = {https://researchr.org/publication/WilleGSD08},
cites = {0},
citedby = {0},
pages = {411-416},
booktitle = {IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2008, 7-9 April 2008, Montpellier, France},
publisher = {IEEE Computer Society},
}