Mutant algorithms
Making Science Public,
I was talking to a friend in the United States. She told me the story of a friend who normally just talks about motherhood and…
Decision Procedures
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction and Basic Concepts
-
Altmetric BadgeChapter 2 Decision Procedures for Propositional Logic
-
Altmetric BadgeChapter 3 Equality Logic and Uninterpreted Functions
-
Altmetric BadgeChapter 4 Decision Procedures for Equality Logic and Uninterpreted Functions
-
Altmetric BadgeChapter 5 Linear Arithmetic
-
Altmetric BadgeChapter 6 Bit Vectors
-
Altmetric BadgeChapter 7 Arrays
-
Altmetric BadgeChapter 8 Pointer Logic
-
Altmetric BadgeChapter 9 Quantified Formulas
-
Altmetric BadgeChapter 10 Deciding a Combination of Theories
-
Altmetric BadgeChapter 11 Propositional Encodings
Altmetric Badge
About this Attention Score
-
In the top 25% of all research outputs scored by Altmetric
-
High Attention Score compared to outputs of the same age (92nd percentile)
Citations
- dimensions_citation
- 62 Dimensions
Readers on
- mendeley
- 20 Mendeley