- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem ; volume:12 ; number:1 ; day:19 ; month:11 ; year:2018 ; pages:250-258 ; date:1.2018
International journal of computational intelligence systems ; 12, Heft 1 (19.11.2018), 250-258, 1.2018
- Creator
-
Wu, Guanfeng
Chen, Qingshan
Xu, Yang
He, Xingxing
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.2991/ijcis.2018.125905645
- URN
-
urn:nbn:de:101:1-2024040910182338261512
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:55 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
- Wu, Guanfeng
- Chen, Qingshan
- Xu, Yang
- He, Xingxing
- SpringerLink (Online service)
Other Objects (12)
Immunologische und mikrobiologische Untersuchungen zur Ermittlung des Aflatoxin-Risikos von Reis aus China
A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
A New Rewarding Mechanism for Branching Heuristic in SAT Solvers
The moderating effect of founding assets on the founders' human capital: New venture growth relationship
Visualisierung eines Simotion Systems
A Combination Algorithm of Multiple Lattice-Valued Concept Lattices
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
Computational Intelligence in Knowledge Engineering
Boundary element method (BEM) applied to the rough surface contact vs. BEM in computational mechanics
Evolutionary neural architecture search combining multi-branch ConvNet and improved transformer
SUMOylation-dependent regulation of the EMT-suppressor Grainyhead-like 2 (GRHL2) in breast cancer
CoSTA: unsupervised convolutional neural network learning for spatial transcriptomics analysis
Immunologische und mikrobiologische Untersuchungen zur Ermittlung des Aflatoxin-Risikos von Reis aus China
A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
A New Rewarding Mechanism for Branching Heuristic in SAT Solvers
The moderating effect of founding assets on the founders' human capital: New venture growth relationship
Visualisierung eines Simotion Systems
A Combination Algorithm of Multiple Lattice-Valued Concept Lattices
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
Computational Intelligence in Knowledge Engineering
Boundary element method (BEM) applied to the rough surface contact vs. BEM in computational mechanics
Evolutionary neural architecture search combining multi-branch ConvNet and improved transformer
SUMOylation-dependent regulation of the EMT-suppressor Grainyhead-like 2 (GRHL2) in breast cancer
CoSTA: unsupervised convolutional neural network learning for spatial transcriptomics analysis
Immunologische und mikrobiologische Untersuchungen zur Ermittlung des Aflatoxin-Risikos von Reis aus China
A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
A New Rewarding Mechanism for Branching Heuristic in SAT Solvers
The moderating effect of founding assets on the founders' human capital: New venture growth relationship
Visualisierung eines Simotion Systems
A Combination Algorithm of Multiple Lattice-Valued Concept Lattices
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
Computational Intelligence in Knowledge Engineering
Boundary element method (BEM) applied to the rough surface contact vs. BEM in computational mechanics
Evolutionary neural architecture search combining multi-branch ConvNet and improved transformer
SUMOylation-dependent regulation of the EMT-suppressor Grainyhead-like 2 (GRHL2) in breast cancer