Solving weighted MAX-SAT via global equilibrium search

Autor:	V. P. Shylo, Oleg A. Prokopyev, Oleg V. Shylo
Rok vydání:	2008
Předmět:	Mathematical optimization Applied Mathematics Maximum satisfiability problem Benchmark (computing) Management Science and Operations Research Heuristics Boolean satisfiability problem Algorithm Industrial and Manufacturing Engineering Software Mathematics
Zdroj:	Operations Research Letters. 36:434-438
ISSN:	0167-6377
Popis:	In this note we investigate the performance of global equilibrium search based heuristics on the weighted MAX-SAT problem. Three variants of the approach are implemented and compared with other existing algorithms on publicly available benchmark instances. The reported computational results indicate high efficiency of the method considered.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::13e13fb7c8786dee8c6258bff1550553 https://doi.org/10.1016/j.orl.2007.11.007 Zobrazit plný text záznamu Full Text from ScienceDirect