Using Island Model in Asynchronous Evolutionary Strategy to Search for Backdoors for SAT

التفاصيل البيبلوغرافية
العنوان: Using Island Model in Asynchronous Evolutionary Strategy to Search for Backdoors for SAT
المؤلفون: Pavlenko, Artem, Semenov, Alexander
المصدر: 2024 IEEE Congress on Evolutionary Computation (CEC) Evolutionary Computation (CEC), 2024 IEEE Congress on. :1-7 Jun, 2024
Relation: 2024 IEEE Congress on Evolutionary Computation (CEC)
قاعدة البيانات: IEEE Xplore Digital Library
الوصف
ردمك:9798350308365
DOI:10.1109/CEC60901.2024.10611818