Automated Deduction – CADE 29

Overview of attention for book

Cover of 'Automated Deduction – CADE 29'

Table of Contents

Attention for Chapter 11: SAT-Based Subsumption Resolution

Altmetric Badge

Mentioned by

reddit: 1 Redditor

Citations

dimensions_citation: 1 Dimensions

Summary Reddit 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.

Investigating CRYSTALS-Kyber Vulnerabilities: Attack Analysis and Mitigation

Article in Cryptography (April 2024)

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

Click here to find out how to access more activity.