Mohimenul Kabir

According to our database, Mohimenul Kabir authored at least 15 papers between 2018 and 2025.

Collaborative distances:

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

2025

A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets.

Mohimenul Kabir, Kuldeep S. Meel

Proceedings of the Proceedings 41st International Conference on Logic Programming, July, 2025

An ASP-Based Framework for MUSes.

Mohimenul Kabir, Kuldeep S. Meel

Proceedings of the Proceedings 41st International Conference on Logic Programming, July, 2025

Counting Answer Sets of Disjunctive Answer Set Programs.

Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel

Theory Pract. Log. Program., 2025

Answer Set Counting and its Applications to Network Reliability and System Biology.

Mohimenul Kabir

Proceedings of the Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), 2025

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks.

Mohimenul Kabir, Van-Giang Trinh, Samuel Pastva, Kuldeep S. Meel

Proceedings of the 31st International Conference on Principles and Practice of Constraint Programming, 2025

2024

Answer Set Counting and its Applications.

Mohimenul Kabir

Proceedings of the Proceedings 40th International Conference on Logic Programming, February, 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