Volume 142,
Number 1-3,
August 2004
Boolean and Pseudo-Boolean Functions
- Endre Boros, Vladimir Gurvich, Leonid Khachiyan, Kazuhisa Makino:
Dual-bounded generating problems: weighted transversals of a hypergraph.
1-15
Electronic Edition (link) BibTeX
- Jianer Chen, Iyad A. Kanj:
Improved exact algorithms for MAX-SAT.
17-27
Electronic Edition (link) BibTeX
- Miguel Couceiro, Stephan Foldes:
Definability of Boolean function classes by linear equations over GF(2).
29-34
Electronic Edition (link) BibTeX
- Stephan Foldes, Grant R. Pogosyan:
Post classes characterized by functional terms.
35-51
Electronic Edition (link) BibTeX
- Stephan Foldes, Peter L. Hammer:
Disjunctive analogues of submodular and supermodular pseudo-Boolean functions.
53-65
Electronic Edition (link) BibTeX
- Clemens Gröpl, Hans Jürgen Prömel, Anand Srivastav:
Ordered binary decision diagrams and the Shannon effect.
67-85
Electronic Edition (link) BibTeX
- Frank K. Hwang, J. S. Lee, Uriel G. Rothblum:
Permutation polytopes corresponding to strongly supermodular functions.
87-97
Electronic Edition (link) BibTeX
- Lars Magnus Hvattum, Arne Løkketangen, Fred Glover:
Adaptive memory search for Boolean optimization problems.
99-109
Electronic Edition (link) BibTeX
- Sergei O. Kuznetsov:
Complexity of learning in concept lattices from positive and negative examples.
111-125
Electronic Edition (link) BibTeX
- Tianbing Xia, Jennifer Seberry, Josef Pieprzyk, Chris Charnes:
Homogeneous bent functions of degree n in 2n variables do not exist for nge3.
127-132
Electronic Edition (link) BibTeX
- Jiawei Zhang, Yinyu Ye, Qiaoming Han:
Improved approximations for max set splitting and max NAE SAT.
133-149
Electronic Edition (link) BibTeX
- Takashi Horiyama, Toshihide Ibaraki:
Reasoning with ordered binary decision diagrams.
151-163
Electronic Edition (link) BibTeX
- Hirotaka Ono, Mutsunori Yagiura, Toshihide Ibaraki:
A decomposability index in logical analysis of data.
165-180
Electronic Edition (link) BibTeX
- Rocco A. Servedio:
Monotone Boolean formulas can approximate monotone linear threshold functions.
181-187
Electronic Edition (link) BibTeX
- Tonguç Ünlüyurt:
Sequential testing of complex systems: a review.
189-205
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:55:17 2009
by Michael Ley (ley@uni-trier.de)
