Proof lengths for instances of the Paris-Harrington principle.

Published in: Ann. Pure Appl. Log. (2017)

Keyphrases

theorem proving
test instances
real time
databases
active learning
randomly generated
lower and upper bounds
quadratic assignment problem
relational database design