Login / Signup
A note on the size of Craig Interpolants.
Uwe Schöning
Jacobo Torán
Published in:
Circuits, Logic, and Games (2006)
Keyphrases
</>
database
cooperative
scales linearly
neural network
artificial intelligence
search engine
computer vision
multimedia
image sequences
lower bound
small size
data mining
genetic algorithm
decision making
reinforcement learning
maximum number