Volume 149,
Number 1-3,
August 2005
- Jan C. Bioch:
The complexity of modular decomposition of Boolean functions.
1-13
Electronic Edition (link) BibTeX
- Ondrej Cepek, Petr Kucera:
Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing.
14-52
Electronic Edition (link) BibTeX
- David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin:
Supermodular functions and the complexity of MAX CSP.
53-72
Electronic Edition (link) BibTeX
- Thomas W. Cusick, Yuan Li:
k-th order symmetric SAC boolean functions and bisecting binomial coefficients.
73-86
Electronic Edition (link) BibTeX
- Alain Faye, Quoc-an Trinh:
A polyhedral approach for a constrained quadratic 0-1 problem.
87-100
Electronic Edition (link) BibTeX
- Hamed Hatami, Hossein Maserrat:
On the computational complexity of defining sets.
101-110
Electronic Edition (link) BibTeX
- Thomas Jansen, Ingo Wegener:
Real royal road functions--where crossover provably is essential.
111-125
Electronic Edition (link) BibTeX
- Petr Kucera:
On the size of maximum renamable Horn sub-CNF.
126-130
Electronic Edition (link) BibTeX
- Aviad Mintz, Martin Charles Golumbic:
Factoring Boolean functions using graph partitioning.
131-153
Electronic Edition (link) BibTeX
- Baruch Schieber, Daniel Geist, Ayal Zaks:
Computing the minimum DNF representation of Boolean functions defined by intervals.
154-173
Electronic Edition (link) BibTeX
- Marcel Wild:
The many benefits of putting stack filters into disjunctive or conjunctive normal form.
174-191
Electronic Edition (link) BibTeX
- Wenjun Xiao:
Linear symmetries of Boolean functions.
192-199
Electronic Edition (link) BibTeX
- Igor E. Zverovich:
Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes.
200-218
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:55:17 2009
by Michael Ley (ley@uni-trier.de)