On Polynomial-Time Relation Reducibility.

Su Gao Caleb Ziegler

Published in: Notre Dame J. Formal Log. (2017)

Keyphrases

special case
approximation algorithms
real world
information retrieval
mobile robot
dnf formulas
real time
knowledge base
np hardness