Login / Signup
One Step Forward, One Step Back: FLP-Style Proofs and the Round-Reduction Technique for Colorless Tasks.
Hagit Attiya
Pierre Fraigniaud
Ami Paz
Sergio Rajsbaum
Published in:
DISC (2023)
Keyphrases
</>
data mining
machine learning
post processing
transfer learning
theorem prover
real time
image processing
formal proof