- All Implemented Interfaces:
- java.io.Serializable
public class Product
extends EncodingStrategyAdapter
Implementation of product encoding for at most one and at most k constraints.
The encoding for "at most one" constraints was introduced by J. Chen in
"A New SAT Encoding for the At-Most-One Constraint" in Proceedings of the
Tenth International Workshop of Constraint Modeling and Reformulation, 2010
For the generalization to "at most k" constraint, we use the encoding
introduced in A. M. Frisch and P . A. Giannaros,
"SAT Encodings of the At-Most-k Constraint", in International Workshop on
Modelling and Reformulating Constraint Satisfaction Problems, 2010
- Since:
- 2.3.1
- Author:
- sroussel
- See Also:
- Serialized Form