Open cjdrake opened 7 years ago
This paper lists several methods for implementing a Boolean expression that tests the number of hot bits in the input: http://www.carstensinz.de/papers/CP-2005.pdf, also called "cardinality constraints".
This paper lists several methods for implementing a Boolean expression that tests the number of hot bits in the input: http://www.carstensinz.de/papers/CP-2005.pdf, also called "cardinality constraints".