Pseudo-Boolean Constraints

• 1 January 1996
• book chapter
• Published by Springer Nature
• p. 45-73
• https://doi.org/10.1007/978-1-4613-1315-1_3

Abstract

Keywords

• LANGUAGE
• CLP
• FORMAL
• SOLVING
• PSEUDO BOOLEAN CONSTRAINTS