Witnessability of Undecidable Problems.

Shuo Ding Qirun Zhang

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

np complete
main problems
data sets
problems involving
real world
search engine
information systems
clustering algorithm
bayesian networks
data structure
optimization problems
application domains
combinatorial optimization
mathematical programming
solving problems