Mohimenul Kabir

19 papers A* 2A 1B 5Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2025 B conf
A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets.
ICLP
Mohimenul Kabir, Kuldeep S. Meel
2025 B conf
An ASP-Based Framework for MUSes.
ICLP
Mohimenul Kabir, Kuldeep S. Meel
2025 — conf
Answer Set Counting and its Applications to Network Reliability and System Biology.
ICLP Workshops
Mohimenul Kabir
2025 J jnl
Counting Answer Sets of Disjunctive Answer Set Programs.
CoRR
Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel
2025 J jnl
Counting Answer Sets of Disjunctive Answer Set Programs.
Theory Pract. Log. Program.
Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel
2025 A conf
Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks.
CP
Mohimenul Kabir, Van-Giang Trinh, Samuel Pastva, Kuldeep S. Meel
2025 J jnl
Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks.
CoRR
Mohimenul Kabir, Van-Giang Trinh, Samuel Pastva, Kuldeep S. Meel
2024 B conf
Answer Set Counting and its Applications.
ICLP
Mohimenul Kabir
2024 A* conf
Exact ASP Counting with Compact Encodings.
AAAI
Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel
2024 — conf
Image Contrast Enhancement using Fuzzy Logic with Metaheuristics.
NSysS
Mohimenul Kabir, Jaiaid Mobin, Ahmad B. A. Hassanat, M. Sohel Rahman
2024 J jnl
Minimal Model Counting via Knowledge Compilation.
CoRR
Mohimenul Kabir
2024 J jnl
On Lower Bounding Minimal Model Count.
CoRR
Mohimenul Kabir, Kuldeep S. Meel
2024 J jnl
On Lower Bounding Minimal Model Count.
Theory Pract. Log. Program.
Mohimenul Kabir, Kuldeep S. Meel
2023 B conf
A Fast and Accurate ASP Counting Based Network Reliability Estimator.
LPAR
Mohimenul Kabir, Kuldeep S. Meel
2023 J jnl
Exact ASP Counting with Compact Encodings.
CoRR
Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel
2023 J jnl
Image Contrast Enhancement using Fuzzy Technique with Parameter Determination using Metaheuristics.
CoRR
Mohimenul Kabir, Jaiaid Mobin, Ahmad B. A. Hassanat, M. Sohel Rahman
2022 A* conf
ApproxASP - a Scalable Approximate Answer Set Counter.
AAAI
Mohimenul Kabir, Flavio O. Everardo, Ankit K. Shukla, Markus Hecher, Johannes Klaus Fichte, Kuldeep S. Meel
2021 J jnl
ADACT: a tool for analysing (dis)similarity among nucleotide and protein sequences using minimal and relative absent words.
Bioinform.
Mujtahid Akon, Muntashir Akon, Mohimenul Kabir, Mohammad Saifur Rahman, M. Sohel Rahman
2018 B conf
A Simple, Fast, Filter-Based Algorithm for Circular Sequence Comparison.
WALCOM
Md. Aashikur Rahman Azim, Mohimenul Kabir, M. Sohel Rahman