Bounding Laconic Proof Systems by Solving CSPs in Parallel.

Jason Li Ryan O'Donnell

Published in: SPAA (2017)

Keyphrases

constraint satisfaction problems
complex systems
constraint networks
constraint problems
evolutionary algorithm
upper bound
constraint satisfaction
configuration problems
neural network
information systems
computational complexity
np hard
management system
building blocks
learning systems
constraint propagation