Symbolic Computation for All the Fun

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: C. E. Brown, M. Janota, M. Olšák

Journal publisher: Satisfiability Checking and Symbolic Computation, SC2 2024

Published year: 2024