On the Generation of Positivstellensatz Witnesses in Degenerate Cases

David Monniaux Pierre Corbineau

Published in: CoRR (2011)

Keyphrases

information retrieval
text generation
neural network
artificial intelligence
computer vision
three dimensional
lower bound
image analysis
management system
genetic programming
poor quality