Mohimenul Kabir

According to our database, Mohimenul Kabir authored at least 9 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On Lower Bounding Minimal Model Count.

Mohimenul Kabir, Kuldeep S. Meel

Theory Pract. Log. Program., 2024

Minimal Model Counting via Knowledge Compilation.

Mohimenul Kabir

CoRR, 2024

Image Contrast Enhancement using Fuzzy Logic with Metaheuristics.

Mohimenul Kabir, Jaiaid Mobin, Ahmad B. A. Hassanat, M. Sohel Rahman

Proceedings of the 11th International Conference on Networking, Systems, and Security, 2024

Exact ASP Counting with Compact Encodings.

Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Image Contrast Enhancement using Fuzzy Technique with Parameter Determination using Metaheuristics.

Mohimenul Kabir, Jaiaid Mobin, Ahmad B. A. Hassanat, M. Sohel Rahman

CoRR, 2023

A Fast and Accurate ASP Counting Based Network Reliability Estimator.

Mohimenul Kabir, Kuldeep S. Meel

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2022

ApproxASP - a Scalable Approximate Answer Set Counter.

Mohimenul Kabir, Flavio O. Everardo, Ankit K. Shukla, Markus Hecher, Johannes Klaus Fichte, Kuldeep S. Meel

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

ADACT: a tool for analysing (dis)similarity among nucleotide and protein sequences using minimal and relative absent words.

Mujtahid Akon, Muntashir Akon, Mohimenul Kabir, Mohammad Saifur Rahman, M. Sohel Rahman

Bioinform., 2021

2018

A Simple, Fast, Filter-Based Algorithm for Circular Sequence Comparison.

Md. Aashikur Rahman Azim, Mohimenul Kabir, M. Sohel Rahman

Proceedings of the WALCOM: Algorithms and Computation - 12th International Conference, 2018