Abstract: Propositional logic is widely used for solving combinatorial problems by employing logical constraints on boolean variables. One frequently used constraint is AtMostOne ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback