Bounding laconic proof systems by solving CSPs in parallel.

Jason Li Ryan O'Donnell

Published in: Electron. Colloquium Comput. Complex. (2016)

Keyphrases

constraint satisfaction problems
complex systems
configuration problems
neural network
building blocks
search algorithm
management system
upper bound
distributed systems
intelligent systems
computer systems
constraint satisfaction
computing systems