A Compact Encoding of Pseudo-Boolean Constraints into SAT

From International Center for Computational Logic
Toggle side column

A Compact Encoding of Pseudo-Boolean Constraints into SAT

Norbert MantheyNorbert Manthey
A Compact Encoding of Pseudo-Boolean Constraints into SAT


Norbert Manthey
A Compact Encoding of Pseudo-Boolean Constraints into SAT
KI 2012, Saarbrücken, Germany, September 2012
@misc{M2012,
  author = {Norbert Manthey},
  title  = {A Compact Encoding of Pseudo-Boolean Constraints into {SAT}},
  year   = {2012},
  month  = {September}
}