Graeme Gange, Harald Søndergaard, Peter J. Stuckey. Synthesizing Optimal Switching Lattices. ACM Trans. Design Autom. Electr. Syst., 20(1):6, 2014. [doi]
@article{GangeSS14, title = {Synthesizing Optimal Switching Lattices}, author = {Graeme Gange and Harald Søndergaard and Peter J. Stuckey}, year = {2014}, doi = {10.1145/2661632}, url = {http://doi.acm.org/10.1145/2661632}, researchr = {https://researchr.org/publication/GangeSS14}, cites = {0}, citedby = {0}, journal = {ACM Trans. Design Autom. Electr. Syst.}, volume = {20}, number = {1}, pages = {6}, }