A Counterexample to Polynomially Bounded Realizability of Basic Arithmetic.

Mohammad Ardeshir Erfan Khaniki Mohsen Shahriari

Published in: Notre Dame J. Formal Log. (2019)

Keyphrases

polynomially bounded
model checking
formal verification
arithmetic operations
floating point
interval arithmetic
machine learning
genetic algorithm
reinforcement learning
computational complexity
fuzzy sets
constraint propagation