Number of the records: 1
Solving the 3-SAT problem using genetic algorithms
Title Solving the 3-SAT problem using genetic algorithms Author Lovíšková Jana 1974- SAVINFO - Ústav informatiky SAV SCOPUS RID ORCID Source document 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 Language eng - English Country SK - Slovak Republic Document kind rozpis článkov z periodík (rzb) Citations FU, 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. Category ADNB - Scientific papers in domestic non-impacted journals registered in Web of Sciences or Scopus Category of document (from 2022) V3 - Vedecký výstup publikačnej činnosti z časopisu Type of document článok Year 2015 Registered in WOS Registered in SCOPUS DOI 10.1109/INES.2015.7329708 
article
rok CC IF IF Q (best) JCR Av Jour IF Perc SJR SJR Q (best) CiteScore N rok vydania rok metriky IF IF Q (best) SJR SJR Q (best) 2015
Number of the records: 1