Failure of Feasible Disjunction Property for k-DNF Resolution and NP-hardness of Automating It.

Published in: CoRR (2020)

Keyphrases

np hardness
np hard
approximation algorithms
uniform distribution
worst case analysis
learning algorithm
boolean functions
mixed integer
discrete tomography
scheduling problem