Mohimenul Kabir

Orcid: 0000-0001-7551-0337

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets.
Proceedings of the Proceedings 41st International Conference on Logic Programming, July, 2025

An ASP-Based Framework for MUSes.
Proceedings of the Proceedings 41st International Conference on Logic Programming, July, 2025

Counting Answer Sets of Disjunctive Answer Set Programs.
Theory Pract. Log. Program., 2025

Answer Set Counting and its Applications to Network Reliability and System Biology.
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.
Proceedings of the 31st International Conference on Principles and Practice of Constraint Programming, 2025

2024
Answer Set Counting and its Applications.
Proceedings of the Proceedings 40th International Conference on Logic Programming, February, 2024

On Lower Bounding Minimal Model Count.
Theory Pract. Log. Program., 2024

Minimal Model Counting via Knowledge Compilation.
CoRR, 2024

Image Contrast Enhancement using Fuzzy Logic with Metaheuristics.
Proceedings of the 11th International Conference on Networking, Systems, and Security, 2024

Exact ASP Counting with Compact Encodings.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Image Contrast Enhancement using Fuzzy Technique with Parameter Determination using Metaheuristics.
CoRR, 2023

A Fast and Accurate ASP Counting Based Network Reliability Estimator.
Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2022
ApproxASP - a Scalable Approximate Answer Set Counter.
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.
Bioinform., 2021

2018
A Simple, Fast, Filter-Based Algorithm for Circular Sequence Comparison.
Proceedings of the WALCOM: Algorithms and Computation - 12th International Conference, 2018


  Loading...