Author:Diego Caminha B de Oliveira
Keyphrasesautomated reasoning, Benchmarking, Development support, floating-point, Grid Computing, Performance aspects, Satisfiability Modulo Theories, simplex, SMT solving, test. |
| ||||
Copyright © 2012-2024 easychair.org. All rights reserved. |