An artificial bee colony algorithm for solving SAT problem (Q2927033)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An artificial bee colony algorithm for solving SAT problem |
scientific article; zbMATH DE number 6364037
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An artificial bee colony algorithm for solving SAT problem |
scientific article; zbMATH DE number 6364037 |
Statements
3 November 2014
0 references
SAT
0 references
artificial bee colony algorithm
0 references
genetic algorithm
0 references
swarm intelligence
0 references
heuristic strategy
0 references
An artificial bee colony algorithm for solving SAT problem (English)
0 references
0.7816961407661438
0 references
0.7463768124580383
0 references
0.7453566789627075
0 references
0.7332150936126709
0 references