Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
79 | Habiba Drias, Mohamed Khabzaoui |
Scatter Search with Random Walk Strategy for SAT and MAX-W-SAT Problems. |
IEA/AIE |
2001 |
DBLP DOI BibTeX RDF |
Weighted maximum satisfiability problem, genetic algorithm, heuristic search, optimization problem, scatter search, evolutionary approach |
48 | Habiba Drias, Amine Taibi, Sofiane Zekour |
Cooperative Ant Colonies for Solving the Maximum Weighted Satisfiability Problem. |
IWANN (1) |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Souhila Sadeg, Habiba Drias, Hafid Aid, Samir Mazouz |
DNA based algorithms for solving both MAX-SAT and MAX-W-SAT problems. |
BIC-TA |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Dalila Boughaci, Habiba Drias |
Solving weighted Max-Sat optimization problems using a Taboo Scatter Search metaheuristic. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
Max-W-Sat, Solution combination method, SAT, Scatter search, Hybrid metaheuristic, Taboo Search |
38 | Habiba Drias |
Genetic Algorithm versus Scatter Search and Solving Hard MAX-W-SAT Problems. |
IWANN (1) |
2001 |
DBLP DOI BibTeX RDF |
|
36 | Habiba Drias, Souhila Sadeg, Safa Yahi |
Cooperative Bees Swarm for Solving the Maximum Weighted Satisfiability Problem. |
IWANN |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|