%0 Conference Paper %1 conf/date/HanJS11 %A Han, HyoJung %A Jin, HoonSang %A Somenzi, Fabio %B DATE %D 2011 %I IEEE %K dblp %P 143-148 %T Clause simplification through dominator analysis. %U http://dblp.uni-trier.de/db/conf/date/date2011.html#HanJS11 %@ 978-1-61284-208-0

@inproceedings{conf/date/HanJS11, added-at = {2023-03-24T00:00:00.000+0100}, author = {Han, HyoJung and Jin, HoonSang and Somenzi, Fabio}, biburl = {https://www.bibsonomy.org/bibtex/2b5f9022765cbea6bc32e63e401c7797c/dblp}, booktitle = {DATE}, crossref = {conf/date/2011}, ee = {https://doi.ieeecomputersociety.org/10.1109/DATE.2011.5763033}, interhash = {c874a2ed495af4d9b75a27c3d49b886d}, intrahash = {b5f9022765cbea6bc32e63e401c7797c}, isbn = {978-1-61284-208-0}, keywords = {dblp}, pages = {143-148}, publisher = {IEEE}, timestamp = {2024-04-10T06:49:01.000+0200}, title = {Clause simplification through dominator analysis.}, url = {http://dblp.uni-trier.de/db/conf/date/date2011.html#HanJS11}, year = 2011 }