Md. Solimul Chowdhury
Orcid: 0000-0001-8429-2108Affiliations:
- The University of Alberta, Edmonton, Alberta, Canada
According to our database1,
Md. Solimul Chowdhury
authored at least 13 papers
between 2012 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
2023
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023
2022
Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022
2021
2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Proceedings of the Principles and Practice of Constraint Programming, 2019
2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2016
Proceedings of the Advances in Artificial Intelligence, 2016
2014
Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2014
2012
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012