Symbolic Computation for All the Fun.

Chad E. Brown Mikolás Janota Mirek Olsák

Published in: CoRR (2024)

Keyphrases

imperative programs
computer games
automated deduction
artificial intelligence
cooperative
multimedia
objective function