Guest Column: Proofs, Circuits, and Communication.
Susanna F. de RezendeMika GöösRobert RoberePublished in: SIGACT News (2022)
Keyphrases
- resource constrained
- communication patterns
- theorem proving
- communication systems
- human computer
- high speed
- information sharing
- communication protocol
- theorem prover
- formal proof
- database
- logic synthesis
- communication channels
- information exchange
- computer networks
- human computer interaction
- wireless sensor networks
- data sets