High Quality Test Pattern Generation and Boolean Satisfiability

Overview of attention for book

Cover of 'High Quality Test Pattern Generation and Boolean Satisfiability'

Table of Contents

Attention for Chapter 4: ATPG Based on Boolean Satisfiability

Altmetric Badge

Citations

dimensions_citation: 14 Dimensions

Readers on

mendeley: 1 Mendeley

Summary Dimensions citations

So far, Dimensions has found 14 publications that cite this research output.

14

The most recent citing publications are shown below. View all 14 publications that cite this research output on Dimensions.

Shared SAT Solvers and SAT Memory in Distributed Business Applications

Preprint in arXiv (January 2023)

Shared SAT Solvers and SAT Memory in Distributed Business Applications

Book chapter (June 2022)

Towards Complete Fault Coverage by Test Point Insertion using Optimization-SAT Techniques

Conference proceeding (November 2019)

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

Click here to find out how to access more activity.