Volgen
Md Solimul Chowdhury
Md Solimul Chowdhury
School of Computing Science, Carnegie Mellon University
Geverifieerd e-mailadres voor ualberta.ca - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Guiding CDCL SAT search via random exploration amid conflict depression
MS Chowdhury, J You
Proceedings of the AAAI Conference on Artificial Intelligence 34 (02), 1428-1435, 2020
62020
Exploiting glue clauses to design effective CDCL branching heuristics
MS Chowdhury, M Müller, JH You
International Conference on Principles and Practice of Constraint …, 2019
62019
Flexible approximators for approximating fixpoint theory
F Liu, Y Bi, M Chowdhury, JH You, Z Feng
Canadian Conference on Artificial Intelligence, 224-236, 2016
52016
Parallel Document Clustering with Hadoop on Amazon Elastic Computing Cloud
Y Liu, L Gutierrez, A Firouzmanesh, X Shi, X Ke, MS Chowdhury
CMPUT, 2009
42009
Characterization of glue variables in CDCL SAT solving
MS Chowdhury, M Müller, JH You
arXiv preprint arXiv:1904.11106, 2019
22019
Description of expsat solvers
MS Chowdhury, M Müller, JH You
Proc. of SAT Competition, 2018
22018
GrandTourobs puzzle as a SAT benchmark
MS Chowdhury, M Müller, JH You
Proceedings of SAT Competition, 59-60, 2018
22018
Preliminary results on exploration-driven satisfiability solving
MS Chowdhury, M Müller, JH You
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
12018
SAT with Global Constriants
MS Chowdhury
Universtiy of Alberta, 2011
12011
SAT with global constraints
MS Chowdhury
12011
Migrating Solver State
A Biere, MS Chowdhury, MJH Heule, B Kiesl, MW Whalen
25th International Conference on Theory and Applications of Satisfiability …, 2022
2022
Empirical Insights Driven CDCL SAT Algorithms
MS Chowdhury
2022
A Deep Dive into Conflict Generating Decisions
MS Chowdhury, M Müller, J You
arXiv preprint arXiv:2105.04595, 2021
2021
Exploration Guided Conflict Directed Clause Learning (CDCL) SAT Solving
MS Chowdhury
2019
Exploration via Random Walks in CDCL SAT Solving amid Conflict Depression
MS Chowdhury, M Müller, JH You
2019
Evolving Real-Time Heuristics Search Algorithms with Building Blocks
MS Chowdhury, V Silva
arXiv preprint arXiv:1805.08256, 2018
2018
Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies
M Chowdhury, F Liu, W Chen, A Karimi, JH You
International Symposium on Logic-Based Program Synthesis and Transformation …, 2014
2014
Haplotype Inference by Pure Parsimony by SAT Solver in Distributed Environment
SAH Solimul B. Chowdhury, Sakibul H.
International Journal of Computer Science and Network Security 8 (8), 247-254, 2008
2008
CDCL Solvers based on Bounded Exploration and the Glue Bumping method
MS Chowdhury
SAT COMPETITION 2022, 16, 0
MapleSSV SAT Solver for SAT Competition 2021
S Nejati, MS Chowdhury, V Ganesh
SAT COMPETITION 2021, 35, 0
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20