Author:David Monniaux
Keyphrasesarithmetic, automated reasoning, decision procedure, floating-point, Presburger arithmetic, quantifier elimination, Satisfiability Modulo Theories, simplex, SMT, SMT solving. |
| ||||
| ||||
| Copyright © 2012-2024 easychair.org. All rights reserved. |