Počet záznamov: 1  

Solving the 3-SAT problem using genetic algorithms

  1. NázovSolving the 3-SAT problem using genetic algorithms
    Autor Lovíšková Jana 1974- SAVINFO - Ústav informatiky SAV    SCOPUS    RID    ORCID
    Zdroj.dok. INES 2015 : 19th IEEE International Conference on Intelligent Engineering Systems. P. 207-212. - Bratislava : Slovak University of Technology in Bratislava, 2015 ; INES 2015 IEEE 19th International Conference on Intelligent Engineering Systems
    Jazyk dok.eng - angličtina
    KrajinaSK - Slovenská republika
    Druh dok.rozpis článkov z periodík (rzb)
    OhlasyFU, Huimin - XU, Yang - WU, Guanfeng - NING, Xinran. An Improved Genetic Algorithm for Solving 3-SAT Problems Based on Effective Restart and Greedy Strategy. In 2017 12TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (IEEE ISKE), 2017, vol., no., pp.
    FU, Huimin - XU, Yang - WU, Guanfeng - JIA, Hairui - ZHANG, Wuyang - HU, Rong. An Improved Adaptive Genetic Algorithm for Solving 3-SAT Problems Based on Effective Restart and Greedy Strategy. In INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS. ISSN 1875-6891, 2018, vol. 11, no. 1, pp. 402-413.
    FRAMIL, Manuel - CABALAR, Pedro - SANTOS, Jose. A MaxSAT Solver Based on Differential Evolution (Preliminary Report). In PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2022, 2022, vol. 13566, no., pp. 676-687. ISSN 0302-9743. Dostupné na: https://doi.org/10.1007/978-3-031-16474-3_55.
    KategóriaADNB - Vedecké práce v domácich neimpaktovaných časopisoch registrovaných vo WOS Core Collection alebo SCOPUS
    Kategória (od 2022)V3 - Vedecký výstup publikačnej činnosti z časopisu
    Typ výstupučlánok
    Rok vykazovania2015
    Registrované vWOS
    Registrované vSCOPUS
    DOI 10.1109/INES.2015.7329708
    článok

    článok

    rokCCIFIF Q (best)JCR Av Jour IF PercSJRSJR Q (best)CiteScore
    N
    rok vydaniarok metrikyIFIF Q (best)SJRSJR Q (best)
    2015
Počet záznamov: 1  

  Tieto stránky využívajú súbory cookies, ktoré uľahčujú ich prezeranie. Ďalšie informácie o tom ako používame cookies.