Petru L. Ivanescu

• Pseudo-Boolean methods for bivalent programming
• Pseudo-Boolean programming and applications