Using a Hybrid Genetic-Algorithm/Branch and Bound Approach to Solve Feasibility and Optimization Integer Programming Problems

The satisfiability problem in forms such as maximum satisfiability (MAX-SAT) remains a hard problem. The most successful approaches for solving such problems use a form of systematic tree search. This paper describes the use of a hybrid algorithm, combining genetic algorithms and integer programming...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Journal of heuristics Ročník 7; číslo 6; s. 551 - 564
Hlavní autori: French, Alan P., Robinson, Andrew C., Wilson, John M.
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Boston Springer Nature B.V 01.11.2001
Predmet:
Algorithms
Genetic algorithms
Heuristic
Integer programming
Linear programming
Mathematical programming
Optimization
Software
Studies
Variables
ISSN:1381-1231, 1572-9397
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:The satisfiability problem in forms such as maximum satisfiability (MAX-SAT) remains a hard problem. The most successful approaches for solving such problems use a form of systematic tree search. This paper describes the use of a hybrid algorithm, combining genetic algorithms and integer programming branch and bound approaches, to solve MAX-SAT problems. Such problems are formulated as integer programs and solved by a hybrid algorithm implemented within standard mathematical programming software. Computational testing of the algorithm, which mixes heuristic and exact approaches, is described. [PUBLICATION ABSTRACT]
Bibliografia:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ISSN:1381-1231
1572-9397
DOI:10.1023/A:1011921025322