Skip to content

On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint.

Jan-Georg Smaus

VenueBCPAIOR
Year2007
ProceedingsCPAIOR

Browse the full CPAIOR paper archive.