Md. Solimul Chowdhury

Orcid: 0000-0001-8429-2108

Affiliations:
  • The University of Alberta, Edmonton, Alberta, Canada


According to our database1, Md. Solimul Chowdhury authored at least 14 papers between 2012 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
TaSSAT: Transfer and Share SAT.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Exploring Conflict Generating Decisions: Initial Results (Extended Abstract).
Proceedings of the Seventeenth International Symposium on Combinatorial Search, 2024

2023
A Linear Weight Transfer Rule for Local Search.
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022
Migrating Solver State.
Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

2021
A Deep Dive into Conflict Generating Decisions.
CoRR, 2021

2020
Guiding CDCL SAT Search via Random Exploration amid Conflict Depression.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Characterization of Glue Variables in CDCL SAT Solving.
CoRR, 2019

Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics.
Proceedings of the Principles and Practice of Constraint Programming, 2019

2018
Evolving Real-Time Heuristics Search Algorithms with Building Blocks.
CoRR, 2018

Task and Energy Aware Node Placement in Wirelessly Rechargeable WSNs.
CoRR, 2018

Preliminary Results on Exploration-Driven Satisfiability Solving.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2016
Flexible Approximators for Approximating Fixpoint Theory.
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
SAT with Global Constraints.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012


  Loading...