New Encodings of Pseudo-Boolean Constraints into CNF

@inproceedings{Bailleux2009NewEO,
  title={New Encodings of Pseudo-Boolean Constraints into CNF},
  author={Olivier Bailleux and Yacine Boufkhad and Olivier Roussel},
  booktitle={SAT},
  year={2009}
}
This paper answers affirmatively the open question of the existence of a polynomial size CNF encoding of pseudo-Boolean (PB) constraints such that generalized arc consistency (GAC) is maintained through unit propagation (UP). All previous encodings of PB constraints either did not allow UP to maintain GAC, or were of exponential size in the worst case. This paper presents an encoding that realizes both of the desired properties. From a theoretical point of view, this narrows the gap between the… CONTINUE READING
Highly Cited
This paper has 71 citations. REVIEW CITATIONS

1 Figure or Table

Topics

Statistics

01020'07'08'09'10'11'12'13'14'15'16'17'18
Citations per Year

71 Citations

Semantic Scholar estimates that this publication has 71 citations based on the available data.

See our FAQ for additional information.