The basic algorithm for pseudo-Boolean programming revisited

Easy Cases of Probabilistic Satisfiability

Annals of Mathematics and Artificial Intelligence

On the Complexities of the Optimal Rounding Problems of Sequences and Matrices

SWAT '00 Proceedings of the 7th Scandinavian Workshop on Algorithm Theory

Pseudo-boolean optimization

Discrete Applied Mathematics

Struction revisited

Discrete Applied Mathematics - Special issue on stability in graphs and related topics

Improving the performance of standard solvers for quadratic 0-1 programs by a tight convex reformulation: The QCR method

Discrete Applied Mathematics

Models and algorithms for probabilistic and Bayesian logic

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2

Semiring-induced propositional logic: definition and basic algorithms

LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning

An exact solution method for unconstrained quadratic 0---1 programming: a geometric approach

Journal of Global Optimization

Generalization of Barahona's algorithm for cases of integer non-linear programming with box constraints

Operations Research Letters