↓ Skip to main content
Altmetric
What is this page?
Embed badge
Share
Share on Twitter
Share on Facebook
Share by email
Solving propositional satisfiability problems
Overview of attention for article published in Annals of Mathematics and Artificial Intelligence, September 1990
Altmetric Badge
About this Attention Score
Among the highest-scoring outputs from this source (#24 of 133)
Mentioned by
patent
2
patents
Citations
dimensions_citation
152
Dimensions
Readers on
mendeley
30
Mendeley
Summary
Patents
Dimensions citations
So far, Altmetric has seen
2
patents that reference this research output.
Satisfiability checking
Application US-9501331-B2
United States of America
22 Nov 2016
SATISFIABILITY CHECKING
Application US-20140047217-A1
United States of America
13 Feb 2014