The Potential of Interference-Based Proof Systems.

Marijn Heule Benjamin Kiesl

Published in: ARCADE@CADE (2017)

Keyphrases

management system
distributed systems
computer systems
building blocks
learning systems
complex systems
artificial intelligence
information systems
decision making
multiscale
intelligent systems
systems require
current challenges