↓ Skip to main content

Reasoning with Finite Sets and Cardinality Constraints in SMT

Overview of attention for article published in Logical Methods in Computer Science (LMCS), November 2018
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
6 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Article details
Title
Reasoning with Finite Sets and Cardinality Constraints in SMT
Published in
Logical Methods in Computer Science (LMCS), November 2018
DOI 10.23638/lmcs-14(4:12)2018
Authors

Login to access the Attention Digest and the Sentiment Analysis related to this output.

Timeline Attention over time Attention Score history
Login to access the full charts related to this output.
Activity
Login to access the full charts related to this output.
X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley demographics

Mendeley demographics

The data shown below were compiled from readership statistics for 6 Mendeley readers of this research output. Click here to see the associated Mendeley record.
Login to view Mendeley reader trends over time.

Geographical breakdown

Geographical breakdown
Country Count As %
Unknown 6 100%

Demographic breakdown

Readers by professional status
Readers by professional status Count As %
Professor 1 17%
Professor > Associate Professor 1 17%
Student > Postgraduate 1 17%
Student > Master 1 17%
Unknown 2 33%
Readers by discipline
Readers by discipline Count As %
Computer Science 4 67%
Unknown 2 33%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 1. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 01 November 2018.
All research outputs
#31,209,820
of 34,391,611 outputs
Outputs from Logical Methods in Computer Science (LMCS)
#861
of 1,195 outputs
Outputs of similar age
#356,021
of 394,896 outputs
Outputs of similar age from Logical Methods in Computer Science (LMCS)
#29
of 30 outputs
Altmetric has tracked 34,391,611 research outputs across all sources so far. This one is in the 1st percentile – i.e., 1% of other outputs scored the same or lower than it.
So far Altmetric has tracked 1,195 research outputs from this source. They receive a mean Attention Score of 1.9. This one is in the 1st percentile – i.e., 1% of its peers scored the same or lower than it.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 394,896 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 1st percentile – i.e., 1% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 30 others from the same source and published within six weeks on either side of this one. This one is in the 1st percentile – i.e., 1% of its contemporaries scored the same or lower than it.