Monotone Simulations of Nonmonotone Proofs.

Albert Atserias Nicola Galesi Pavel Pudlák

Published in: Computational Complexity Conference (2001)

Keyphrases

theorem proving
numerical simulations
case study
variational inequalities
artificial neural networks
theorem prover
simulation study
logic programs
natural deduction
simulation environment
computer programs
boolean functions
database
linear programming
upper bound
special case
expert systems
image sequences
website