Machine Learning Methods in Solving the Boolean Satisfiability Problem
Guo, Wenxuan ; Zhen, Hui-Ling ; Li, Xijun ; Luo, Wanqian ; Yuan, Mingxuan ; Jin, Yaohui ; Yan, Junchi
- Link zu diesem Datensatz
- https://d-nb.info/1302358707
- Titel
- Machine Learning Methods in Solving the Boolean Satisfiability Problem
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- by Wenxuan Guo, Hui-Ling Zhen, Xijun Li, Wanqian Luo, Mingxuan Yuan, Yaohui Jin, Junchi Yan
- Autor(en)
-
- Guo, Wenxuan
- Zhen, Hui-Ling
- Li, Xijun
- Luo, Wanqian
- Yuan, Mingxuan
- Jin, Yaohui
- Yan, Junchi
- Organisation(en)
-
- SpringerLink (Online service)
- Zeitliche Einordnung
- Erscheinungsdatum: 2023
- Umfang/Format
- Online-Ressource, 1 online resource.
- DOI
- 10.1007/s11633-022-1396-2
- Online
- https://doi.org/10.1007/s11633-022-1396-2
- Sprache
- eng
- Schlagwörter
- Frühere/spätere Titel
-
- Enthalten in: Machine intelligence research
- Enthalten in: Machine intelligence research
- Enthalten in: Machine intelligence research
- Stand
- 14.09.2023 07:45
- Im Katalog seit
- 07.03.2026