On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets.

Matthieu Perrinel

Published in: FOPARA (2013)

Keyphrases

polynomial time complexity
np complete
min cut max flow
evaluation criteria
multiple criteria
random walk
shortest path
multi criteria
selection criteria
computer vision
search algorithm
np hard
mobile robot
least squares
theorem prover