by Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker
Reference:
A symbiosis of interval constraint propagation and cylindrical algebraic decomposition (Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker), Chapter in Automated Deduction–CADE-24, Springer Berlin Heidelberg, 2013.
Bibtex Entry:
@incollection{loup2013symbiosis,
title={A symbiosis of interval constraint propagation and cylindrical algebraic decomposition},
author={Loup, Ulrich and Scheibler, Karsten and Corzilius, Florian and {'A}brah{'a}m, Erika and Becker, Bernd},
booktitle={Automated Deduction--CADE-24},
pages={193--207},
year={2013},
publisher={Springer Berlin Heidelberg}
}