Mohimenul Kabir

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

Collaborative distances:

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

2025

Counting Answer Sets of Disjunctive Answer Set Programs.

Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel

CoRR, July, 2025

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

Mohimenul Kabir, Kuldeep S. Meel

CoRR, July, 2025

An ASP-Based Framework for MUSes.

Mohimenul Kabir, Kuldeep S. Meel

CoRR, July, 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