Hirokazu Anai. Effective quantifier elimination for industrial applications. In Katsusuke Nabeshima, Kosaku Nagasaka, Franz Winkler, Ágnes Szántó, editors, International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014. pages 18-19, ACM, 2014. [doi]
@inproceedings{Anai14,
title = {Effective quantifier elimination for industrial applications},
author = {Hirokazu Anai},
year = {2014},
doi = {10.1145/2608628.2627494},
url = {http://doi.acm.org/10.1145/2608628.2627494},
researchr = {https://researchr.org/publication/Anai14},
cites = {0},
citedby = {0},
pages = {18-19},
booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014},
editor = {Katsusuke Nabeshima and Kosaku Nagasaka and Franz Winkler and Ágnes Szántó},
publisher = {ACM},
isbn = {978-1-4503-2501-1},
}