A calculus of branching processes.

Thomas Ehrhard Jean Krivine Ying Jiang

Published in: Theor. Comput. Sci. (2020)

Keyphrases

branch and bound
search tree
website
case study
search algorithm
artificial neural networks
evolutionary algorithm
automated deduction
provably correct
computer algebra