- All Implemented Interfaces:
- java.io.Serializable
public class Commander
extends EncodingStrategyAdapter
Commander encoding for "at most one" and "at most k" cases.
The case "at most one" is introduced in W. Klieber and G. Kwon
"Efficient CNF encoding for selecting 1 from N objects" in Fourth Workshop on
Constraints in Formal Verification, 2007.
The generalization to the "at most k" case is described 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