- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
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
- Urheber
-
Wu, Guanfeng
Chen, Qingshan
Xu, Yang
He, Xingxing
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.2991/ijcis.2018.125905645
- URN
-
urn:nbn:de:101:1-2024040910182338261512
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:55 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Wu, Guanfeng
- Chen, Qingshan
- Xu, Yang
- He, Xingxing
- SpringerLink (Online service)
Ähnliche Objekte (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
System-Level Power and Performance Estimation in Early SoC Design Phases
CoSTA: unsupervised convolutional neural network learning for spatial transcriptomics analysis
SUMOylation-dependent regulation of the EMT-suppressor Grainyhead-like 2 (GRHL2) in breast cancer
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
System-Level Power and Performance Estimation in Early SoC Design Phases
CoSTA: unsupervised convolutional neural network learning for spatial transcriptomics analysis
SUMOylation-dependent regulation of the EMT-suppressor Grainyhead-like 2 (GRHL2) in breast cancer
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
System-Level Power and Performance Estimation in Early SoC Design Phases
CoSTA: unsupervised convolutional neural network learning for spatial transcriptomics analysis