Periodic Reporting for period 2 - SC-square (SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems)

In summary, this proposal was motivated by the following four main problems.Problem 1 Disjoint communitiesThe two communities of Satisfiability Checking and Symbolic Computation share interests andchallenges, but they are currently not well connected: there are no common...