Zeros of the Davenport-Heilbronn counterexample.

Eugenio P. Balanzario Jorge Sánchez-Ortiz

Published in: Math. Comput. (2007)

Keyphrases

model checking
formal verification
feature selection
computational complexity