@article{Foldes-Hammer/00,
AUTHOR = {Foldes, Stephan and Hammer, Peter L.},
TITLE = {Disjunctive and conjunctive normal forms of pseudo-Boolean functions},
JOURNAL = {Discrete Appl.~Math.},
VOLUME = {107},
NUMBER = {1-3},
PAGES = {1-26},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Genisson-Jegou/00,
AUTHOR = {G{\'{e}}nisson, Richard and J{\'{e}}gou, Philippe},
TITLE = {On the relations between SAT and CSP enumerative algorithms},
JOURNAL = {Discrete Appl.~Math.},
VOLUME = {107},
NUMBER = {1-3},
PAGES = {27-40},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Hochbaum-Pathria/00,
AUTHOR = {Hochbaum, Dorit S. and Pathria, Anu},
TITLE = {Approximating a generalization of MAX 2SAT and MIN 2SAT},
JOURNAL = {Discrete Appl.~Math.},
VOLUME = {107},
NUMBER = {1-3},
PAGES = {41-59},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Klasner-Simon/00,
AUTHOR = {Klasner, Norbert and Simon, Hans Ulrich},
TITLE = {General lower bounds on the query complexity within the exact learning model},
JOURNAL = {Discrete Appl.~Math.},
VOLUME = {107},
NUMBER = {1-3},
PAGES = {61-81},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Kleine_Buning/00,
AUTHOR = {Kleine B{\"u}ning, Hans},
TITLE = {On subclasses of minimal unsatisfiable formulas},
JOURNAL = {Discrete Appl.~Math.},
VOLUME = {107},
NUMBER = {1-3},
PAGES = {83-98},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Kullmann/00a,
AUTHOR = {Kullmann, Oliver},
TITLE = {Investigations on autark assignments},
JOURNAL = {Discrete Appl.~Math.},
VOLUME = {107},
NUMBER = {1-3},
PAGES = {99-137},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Marichal/00,
AUTHOR = {Marichal, Jean-Luc},
TITLE = {The influence of variables on pseudo-Boolean functions with applications to game theory and multicriteria decision making},
JOURNAL = {Discrete Appl.~Math.},
VOLUME = {107},
NUMBER = {1-3},
PAGES = {139-164},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Nagamochi-Ibaraki/00,
AUTHOR = {Nagamochi, Hiroshi and Ibaraki, Toshihide},
TITLE = {Polyhedral structure of submodular and posi-modular systems},
JOURNAL = {Discrete Appl.~Math.},
VOLUME = {107},
NUMBER = {1-3},
PAGES = {165-189},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Takenaga-Yajima/00,
AUTHOR = {Takenaga, Yasuhiko and Yajima, Shuzo},
TITLE = {Hardness of identifying the minimum ordered binary decision diagram},
JOURNAL = {Discrete Appl.~Math.},
VOLUME = {107},
NUMBER = {1-3},
PAGES = {191-201},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Taylor-Zwicker/00,
AUTHOR = {Taylor, Alan D. and Zwicker, William S.},
TITLE = {Trading properties and Alexandrov kernels for Boolean functions},
JOURNAL = {Discrete Appl.~Math.},
VOLUME = {107},
NUMBER = {1-3},
PAGES = {203-214},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Ueda/00,
AUTHOR = {Ueda, Takao},
TITLE = {Reflectiveness and compression of threshold transformations},
JOURNAL = {Discrete Appl.~Math.},
VOLUME = {107},
NUMBER = {1-3},
PAGES = {215-224},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{van_Maaren-Warners/00,
AUTHOR = {van Maaren, Hans and Warners, Joost P.},
TITLE = {Bounds and fast approximation algorithms for binary quadratic optimization problems with application to MAX 2SAT},
JOURNAL = {Discrete Appl.~Math.},
VOLUME = {107},
NUMBER = {1-3},
PAGES = {225-239},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Warners-Maaren/00a,
AUTHOR = {Warners, Joost P. and Maaren, Hans van},
TITLE = {Solving satisfiability problems using elliptic approximations --- Effective branching rules},
JOURNAL = {Discrete Appl.~Math.},
VOLUME = {107},
NUMBER = {1-3},
PAGES = {241-259},
YEAR = {2000},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}