Decision Procedures

Overview of attention for book

Cover of 'Decision Procedures'

Table of Contents

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

twitter: 1 X user

Citations

dimensions_citation: 121 Dimensions

Readers on

mendeley: 3 Mendeley

Summary X Dimensions citations

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

121

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

CloudSec: An Extensible Automated Reasoning Framework for Cloud Security Policies

Book chapter (March 2024)

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic

Preprint in arXiv (March 2024)

Logic-based Explanations for Linear Support Vector Classifiers with Reject Option

Preprint in arXiv (March 2024)

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

Click here to find out how to access more activity.