Proof Checking and Non-approximability.

Stefan Hougardy

Published in: Lectures on Proof Verification and Approximation Algorithms (1997)

Keyphrases

computer vision
image processing
approximation algorithms
theorem prover
proof planning
case study
face recognition
data structure
neural network
genetic algorithm
learning algorithm
information systems
metadata
multi agent
theorem proving
linear logic