Proofs, Circuits, and Communication.
Susanna F. de RezendeMika GöösRobert RoberePublished in: CoRR (2022)
Keyphrases
- communication networks
- digital circuits
- high speed
- human computer
- information sharing
- theorem prover
- communication cost
- formal proof
- database
- human communication
- instant messaging
- communication overhead
- communication systems
- theorem proving
- wireless networks
- case study
- e learning
- genetic algorithm
- neural network
- data sets