nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Adaptive memory search for Boolean optimization problems
|
Hvattum, Lars M. |
|
2004 |
142 |
1-3 |
p. 99-109 11 p. |
artikel |
2 |
A decomposability index in logical analysis of data
|
Ono, Hirotaka |
|
2004 |
142 |
1-3 |
p. 165-180 16 p. |
artikel |
3 |
Author index to volume
|
|
|
2004 |
142 |
1-3 |
p. 207- 1 p. |
artikel |
4 |
Complexity of learning in concept lattices from positive and negative examples
|
Kuznetsov, Sergei O |
|
2004 |
142 |
1-3 |
p. 111-125 15 p. |
artikel |
5 |
Contents
|
|
|
2004 |
142 |
1-3 |
p. vii-viii nvt p. |
artikel |
6 |
Definability of Boolean function classes by linear equations over GF (2)
|
Couceiro, Miguel |
|
2004 |
142 |
1-3 |
p. 29-34 6 p. |
artikel |
7 |
Disjunctive analogues of submodular and supermodular pseudo-Boolean functions
|
Foldes, S |
|
2004 |
142 |
1-3 |
p. 53-65 13 p. |
artikel |
8 |
Dual-bounded generating problems: weighted transversals of a hypergraph
|
Boros, E |
|
2004 |
142 |
1-3 |
p. 1-15 15 p. |
artikel |
9 |
Editorial Board
|
|
|
2004 |
142 |
1-3 |
p. v-vi nvt p. |
artikel |
10 |
Guide for authors
|
|
|
2004 |
142 |
1-3 |
p. I-IV nvt p. |
artikel |
11 |
Homogeneous bent functions of degree n in 2n variables do not exist for n>3
|
Xia, Tianbing |
|
2004 |
142 |
1-3 |
p. 127-132 6 p. |
artikel |
12 |
Improved approximations for max set splitting and max NAE SAT
|
Zhang, Jiawei |
|
2004 |
142 |
1-3 |
p. 133-149 17 p. |
artikel |
13 |
Improved exact algorithms for MAX-SAT
|
Chen, Jianer |
|
2004 |
142 |
1-3 |
p. 17-27 11 p. |
artikel |
14 |
Monotone Boolean formulas can approximate monotone linear threshold functions
|
Servedio, Rocco A. |
|
2004 |
142 |
1-3 |
p. 181-187 7 p. |
artikel |
15 |
Ordered binary decision diagrams and the Shannon effect
|
Gröpl, Clemens |
|
2004 |
142 |
1-3 |
p. 67-85 19 p. |
artikel |
16 |
Permutation polytopes corresponding to strongly supermodular functions
|
Hwang, Frank K |
|
2004 |
142 |
1-3 |
p. 87-97 11 p. |
artikel |
17 |
Post classes characterized by functional terms
|
Foldes, Stephan |
|
2004 |
142 |
1-3 |
p. 35-51 17 p. |
artikel |
18 |
Reasoning with ordered binary decision diagrams
|
Horiyama, Takashi |
|
2004 |
142 |
1-3 |
p. 151-163 13 p. |
artikel |
19 |
Sequential testing of complex systems: a review
|
Ünlüyurt, Tonguç |
|
2004 |
142 |
1-3 |
p. 189-205 17 p. |
artikel |