-
1
-
2
Controlling the Diversive and Specific Exploration in Solving Disjunctive Linear Constraint Satisfaction Problem(<Special Issue>Contribution to 21 Century Intelligent Technologies...
Veröffentlicht in International Journal of Biomedical Soft Computing and Human Sciences: the official journal of the Biomedical Fuzzy Systems Association
VolltextArtikel -
3
-
4
-
5
-
6
-
7
Theoretical study on mixed parallel execution for solving SAT
Veröffentlicht in International Congress series
VolltextArtikel -
8
-
9
Solving SAT with mixed parallel execution
Veröffentlicht in International Congress series
VolltextArtikel -
10
-
11
-
12
-
13
-
14
-
15
Constraint satisfaction problems and neurocomputing
Veröffentlicht in International Congress series
VolltextArtikel -
16
-
17
-
18
-
19
-
20