Intermediate problems in modular circuits satisfiability.

Pawel M. Idziak Piotr Kawalek Jacek Krzaczkowski

Published in: CoRR (2020)

Keyphrases

np complete
optimization problems
neural network
machine learning
solving problems
database
real time
lower bound
expert systems
low cost
decision problems
benchmark problems
propositional logic
combinatorial problems