Computer Aided Verification

Overview of attention for book

Cover of 'Computer Aided Verification'

Table of Contents

Attention for Chapter 8: Satisfiability Modulo Finite Fields

Altmetric Badge

Mentioned by

wikipedia: 1 Wikipedia page

Citations

dimensions_citation: 1 Dimensions

Readers on

mendeley: 7 Mendeley

Summary Wikipedia Dimensions citations

So far, Dimensions has found 1 citation of this research output.

1

The most recent citing publication is shown below. View this citation on Dimensions.

Real-time data visual monitoring of triboelectric nanogenerators enabled by Deep learning

Article in Nano Energy (November 2024)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.