Asynchronous Evolutionary Algorithm for Finding Backdoors in Boolean Satisfiability

Autor:	Artem Pavlenko, Daniil Chivilikhin, Alexander Semenov
Rok vydání:	2022
Zdroj:	2022 IEEE Congress on Evolutionary Computation (CEC).
DOI:	10.1109/cec55065.2022.9870262
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::1b073b0254fa0966ebedfcddc444af35 https://doi.org/10.1109/cec55065.2022.9870262 Zobrazit plný text záznamu