Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Algorithm Evaluation."
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1325589209 |
Titel | A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem / by Guanfeng Wu, Qingshan Chen, Yang Xu, Xingxing He |
Person(en) |
Wu, Guanfeng (Verfasser) Chen, Qingshan (Verfasser) Xu, Yang (Verfasser) He, Xingxing (Verfasser) |
Organisation(en) | SpringerLink (Online service) (Sonstige) |
Umfang/Format | 1 Online-Ressource. |
Persistent Identifier |
URN: urn:nbn:de:101:1-2024040910182338261512 DOI: 10.2991/ijcis.2018.125905645 |
URL | https://doi.org/10.2991/ijcis.2018.125905645 |
Zeitliche Einordnung | Erscheinungsdatum: 2019 |
DDC-Notation | 004.3 (maschinell ermittelte DDC-Kurznotation) |
Sprache(n) | Englisch (eng) |
Beziehungen | Enthalten in: International journal of computational intelligence systems (Bd. 12, 19.11.2018, Nr. 1, date:1.2018: 250-258) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |
