↓ Skip to main content

Intelligent Computer Mathematics

Overview of attention for book
Attention for Chapter 3: $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation
Altmetric Badge

Mentioned by

twitter
1 tweeter
facebook
1 Facebook page

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
10 Mendeley