Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             14 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Approximating a generalization of MAX 2SAT and MIN 2SAT Hochbaum, Dorit S.
2000
107 1-3 p. 41-59
19 p.
artikel
2 Bounds and fast approximation algorithms for binary quadratic optimization problems with application to MAX 2SAT van Maaren, Hans
2000
107 1-3 p. 225-239
15 p.
artikel
3 Disjunctive and conjunctive normal forms of pseudo-Boolean functions Foldes, Stephan
2000
107 1-3 p. 1-26
26 p.
artikel
4 General lower bounds on the query complexity within the exact learning model Klasner, Norbert
2000
107 1-3 p. 61-81
21 p.
artikel
5 Hardness of identifying the minimum ordered binary decision diagram Takenaga, Yasuhiko
2000
107 1-3 p. 191-201
11 p.
artikel
6 Index 2000
107 1-3 p. 261-
1 p.
artikel
7 Investigations on autark assignments Kullmann, Oliver
2000
107 1-3 p. 99-137
39 p.
artikel
8 On subclasses of minimal unsatisfiable formulas Büning, Hans Kleine
2000
107 1-3 p. 83-98
16 p.
artikel
9 On the relations between SAT and CSP enumerative algorithms Génisson, Richard
2000
107 1-3 p. 27-40
14 p.
artikel
10 Polyhedral structure of submodular and posi-modular systems Nagamochi, Hiroshi
2000
107 1-3 p. 165-189
25 p.
artikel
11 Reflectiveness and compression of threshold transformations Ueda, Takao
2000
107 1-3 p. 215-224
10 p.
artikel
12 Solving satisfiability problems using elliptic approximations – effective branching rules Warners, Joost P.
2000
107 1-3 p. 241-259
19 p.
artikel
13 The influence of variables on pseudo-Boolean functions with applications to game theory and multicriteria decision making Marichal, Jean-Luc
2000
107 1-3 p. 139-164
26 p.
artikel
14 Trading properties and Alexandrov kernels for Boolean functions Taylor, Alan D.
2000
107 1-3 p. 203-214
12 p.
artikel
                             14 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland