- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1875-6883
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Predicting Propositional Satisfiability Based on Graph Attention Networks ; volume:15 ; number:1 ; day:28 ; month:9 ; year:2022 ; pages:1-10 ; date:12.2022
International journal of computational intelligence systems ; 15, Heft 1 (28.9.2022), 1-10, 12.2022
- Creator
-
Chang, Wenjing
Zhang, Hengkai
Luo, Junwei
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s44196-022-00139-9
- URN
-
urn:nbn:de:101:1-2022121621214148491151
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:25 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Chang, Wenjing
- Zhang, Hengkai
- Luo, Junwei
- SpringerLink (Online service)
Other Objects (12)
What is answer set programming to propositional satisfiability
Programming in propositional logic or reductions : back to the roots (satisfiability)
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Satisfiability problems
A Satisfiability-based Approach for Generalized Tanglegrams on Level Graphs
Generalized satisfiability problems
Generalized satisfiability problems
Motivating propositional gratitude
DGDTA: dynamic graph attention network for predicting drug–target binding affinity
Predicting circRNA-drug sensitivity associations via graph attention auto-encoder
Predicting miRNA-disease associations via layer attention graph convolutional network model
What is answer set programming to propositional satisfiability
Programming in propositional logic or reductions : back to the roots (satisfiability)
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Satisfiability problems
A Satisfiability-based Approach for Generalized Tanglegrams on Level Graphs
Generalized satisfiability problems
Generalized satisfiability problems
Motivating propositional gratitude
DGDTA: dynamic graph attention network for predicting drug–target binding affinity
Predicting circRNA-drug sensitivity associations via graph attention auto-encoder
Predicting miRNA-disease associations via layer attention graph convolutional network model
What is answer set programming to propositional satisfiability
Programming in propositional logic or reductions : back to the roots (satisfiability)
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Satisfiability problems
A Satisfiability-based Approach for Generalized Tanglegrams on Level Graphs
Generalized satisfiability problems
Generalized satisfiability problems
Motivating propositional gratitude
DGDTA: dynamic graph attention network for predicting drug–target binding affinity
Predicting circRNA-drug sensitivity associations via graph attention auto-encoder