Symbolic Computation for All the Fun.

Chad E. Brown Mikolas Janota Mirek Olsák

Published in: PAAR+SC²@IJCAR (2024)

Keyphrases

automated deduction
imperative programs
computer games
theorem proving
computer science
special case
computational intelligence