Grant: Postdoctoral Fellowships
Carnegie Mellon University
$45,000.00
Effective Handling of Conflict Depression Phases in CDCL SAT with Deep Neural Networks
FY 2022-23
Summary
Computer Science, Artificial Intelligence, Automated Reasoning, Neural-Symbolic Integration, Machine Learning, Deep Neural Networks, Deep Learning, SAT Solving, CDCL, Branching Heuristics
Program
Postdoctoral Fellowships
Recipient
Location
Pennsylvania, UNITED STATES
Recipient Type
Academia
Type
Grant
Source
NSERC's Awards Data
As published
Application id
557809-2021
Name nom
Chowdhury, Md Solimul MSC
Department département
Computer Science
Organization id
1521
Institution établissement
Carnegie Mellon University
Province en
Pennsylvania
Province fr
Pennsylvanie
Country en
UNITED STATES
Country fr
ÉTATS-UNIS
Fiscal year exercice financier
2022
Competition year année de concours
2021
Award amount
45000
Program id
PDF
Program name en
Postdoctoral Fellowships
Program name fr
Bourses postdoctorales
Group en
RESEARCH TRAINING AND TALENT DEVELOPMENT
Group fr
FORMATION EN RECHERCHE ET PERFECTIONNEMENT DES COM
Committee code
198
Committee name en
S&F Committee for Computing Sciences
Committee name fr
Comité de sélection des bourses en informatique
Area of application code
9999
Area of application group en
Not available
Area of application group fr
Non disponible
Area of application en
Not available
Area of application fr
Non disponible
Research subject code
2800
Research subject group en
Artificial intelligence
Research subject group fr
Intelligence artificielle
Research subject en
Artificial intelligence (computer vision, use2603)
Research subject fr
Intelligence artificielle (vision artificielle, utiliser 2603)
Installment
inst:3;4
Partie
2
Nb partie
4
Application title
Effective Handling of Conflict Depression Phases in CDCL SAT with Deep Neural Networks
Application summary
Computer Science, Artificial Intelligence, Automated Reasoning, Neural-Symbolic Integration, Machine Learning, Deep Neural Networks, Deep Learning, SAT Solving, CDCL, Branching Heuristics
