Back to Search
Start Over
Winners of Nikolaos Bourbakis Award for 2023.
- Source :
-
International Journal on Artificial Intelligence Tools . May2024, Vol. 33 Issue 3, p1-1. 1p. - Publication Year :
- 2024
-
Abstract
- The International Journal on Artificial Intelligence Tools has announced the winners of the Nikolaos Bourbakis Award for 2023. The committee evaluated all regular papers published in the journal in 2023 based on reviewer comments and content. The winning paper is titled "Top-k Learned Clauses for Modern SAT Solvers" by Jerry Lonlac and Engelbert Mephu Nguifo. The authors will receive a prize of $250. Congratulations to both authors! [Extracted from the article]
- Subjects :
- *AWARDS
*ARTIFICIAL intelligence
Subjects
Details
- Language :
- English
- ISSN :
- 02182130
- Volume :
- 33
- Issue :
- 3
- Database :
- Academic Search Index
- Journal :
- International Journal on Artificial Intelligence Tools
- Publication Type :
- Academic Journal
- Accession number :
- 176779980
- Full Text :
- https://doi.org/10.1142/S0218213024820013