Skip to content

Author

Bouchra Karoum

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Review Oct 2026

Metaheuristic Approaches for the Satisfiability Problem (SAT): A Systematic Review and Comparative Study with Modern SAT Solvers

The Boolean Satisfiability Problem is a central challenge in artificial intelligence and combinatorial optimization, with applications in circuit verification, planning, and bioinformatics. This study makes two main contributions: a systematic review of metaheuristic approaches conducted under the Preferred Reporting I...

Fatima Mellouk, Bouchra Karoum, I. Hafidi · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.