Author:Mohamed Iguernlala
KeyphrasesAC-completion, associativity and commutativity, axiomatic theory, decision procedure, floating-point, real arithmetic, Shostak theories, simplex, SMT, SMT solvers. |
| ||||
| ||||
| Copyright © 2012-2023 easychair.org. All rights reserved. |