On the CNF encoding of cardinality constraints and beyond

Details On the CNF encoding of cardinality constraints and beyond On the CNF encoding of cardinality constraints and beyond

2010-12-17

arxiv.org/abs/1012.3853v1

Computer Science

Artificial Intelligence

Scientific paper

In this report, we propose a quick survey of the currently known techniques
for encoding a Boolean cardinality constraint into a CNF formula, and we
discuss about the relevance of these encodings. We also propose models to
facilitate analysis and design of CNF encodings for Boolean constraints.

Affiliated with

Also associated with

No associations

Rating

On the CNF encoding of cardinality constraints and beyond does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with On the CNF encoding of cardinality constraints and beyond, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the CNF encoding of cardinality constraints and beyond will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-638646