Intermediate problems in modular circuits satisfiability.

Pawel M. Idziak Piotr Kawalek Jacek Krzaczkowski

Published in: LICS (2020)

Keyphrases

np complete
optimization problems
computational complexity
combinatorial optimization
neural network
problems involving