ISSN:
0963-5483
eISSN:
1469-2163
Disciplines
(Field of Science):
- information and communication technology (Engineering and Technology)
- management and quality studies (Social studies)
- computer and information sciences (Natural sciences)
- mathematics (Natural sciences)
(Field of Science)
Ministry points: Help
Year | Points | List |
---|---|---|
Year 2024 | 100 | Ministry scored journals list 2024 |
Year | Points | List |
---|---|---|
2024 | 100 | Ministry scored journals list 2024 |
2023 | 100 | Ministry Scored Journals List |
2022 | 100 | Ministry Scored Journals List 2019-2022 |
2021 | 100 | Ministry Scored Journals List 2019-2022 |
2020 | 100 | Ministry Scored Journals List 2019-2022 |
2019 | 100 | Ministry Scored Journals List 2019-2022 |
2018 | 25 | A |
2017 | 25 | A |
2016 | 25 | A |
2015 | 25 | A |
2014 | 25 | A |
2013 | 20 | A |
2012 | 25 | A |
2011 | 25 | A |
2010 | 27 | A |
Model:
Hybrid - transformation agreement
Points CiteScore:
Year | Points |
---|---|
Year 2023 | 2.4 |
Year | Points |
---|---|
2023 | 2.4 |
2022 | 2.7 |
2021 | 2.4 |
2020 | 2.4 |
2019 | 2 |
2018 | 1.9 |
2017 | 1.7 |
2016 | 1.6 |
2015 | 1.5 |
2014 | 1.4 |
2013 | 1.4 |
2012 | 1.5 |
2011 | 1.6 |
Impact Factor:
Log in to see the Impact Factor.
Sherpa Romeo:
Papers published in journal
Filters
total: 1
Catalog Journals
Year 2014
-
A Note on a Problem Posed by D. E. Knuth on a Satisfiability Recurrence
PublicationWe resolve a conjecture proposed by D.E. Knuth concerning a recurrence arising in the satisfiability problem. Knuth's recurrence resembles recurrences arising in the analysis of tries, in particular PATRICIA tries, and asymmetric leader election. We solve Knuth's recurrence exactly and asymptotically, using analytic techniques such as the Mellin transform and analytic depoissonization.
seen 425 times