Verification of PCP-Related Computational Reductions in Coq.

Yannick Forster Edith Heiter Gert Smolka

Published in: CoRR (2017)

Keyphrases

formal methods
case study
model checking
image segmentation
multiscale
artificial intelligence
knowledge base
multi agent
information technology
special case
scheduling problem
computational power
face verification
formal analysis
cutting plane