BoolVar/PB

swMATH13579MaRDI QIDQ25493FDOQ25493

Author name not available (Why is that?)

Cited In (1)

• PBLib – A Library for Encoding Pseudo-Boolean Constraints into CNF

This page was built for software: BoolVar/PB