642 followers
#arXiv #cs_LO "Satisfiability Checking meets Symbolic Computation (Project Paper). (arXiv:1607.08028v1 [cs.SC])" https://t.co/rUtzoLzbJe
#arXiv #cs_LO "Satisfiability Checking meets Symbolic Computation (Project Paper). (arXiv:1607.08028v1 [cs.SC])" https://t.co/rUtzoLzbJe