committed
发表于 2025-4-1 02:20:24
ASNP: A Tame Fragment of Existential Second-Order Logic,e SNP of Bienvenu, ten Cate, Lutz, and Wolter; it is a promising candidate for an expressive subclass of NP that exhibits a complexity dichotomy. We show that ASNP has a complexity dichotomy if and only if the infinite-domain dichotomy conjecture holds for constraint satisfaction problems for first-
Endometrium
发表于 2025-4-1 06:02:37
http://reply.papertrans.cn/19/1854/185336/185336_62.png