Tracks from hell - When finding a proof may be easier than checking it.

Matteo Almanza Stefano Leucci Alessandro Panconesi

Published in: Theor. Comput. Sci. (2020)

Keyphrases

theorem proving
real time
databases
decision making
digital libraries
special case
np hard
method finds