Work

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

Year: 2026

Type: article

Study design: Systematic Review

Source: International Journal of Artificial Intelligence Tools

DOI: 10.1142/s0218213026300012

Authors: Fatima Zahrae Mellouk, Bouchra Karoum, Imad Hafidi

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W7221716144

FWCI:

Cites:

Cited by:

Related to: