A Compact Encoding of Pseudo-Boolean Constraints into SAT

Aus International Center for Computational Logic
Version vom 19. Dezember 2016, 22:09 Uhr von Serge Stratan (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Norbert |ErsterAutorNachname=Manthey }} {{Misc |Title=A Compact Encoding of Pseudo-Boolean Constraints into SAT…“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche
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, July 2012
@misc{M2012,
  author = {Norbert Manthey},
  title  = {A Compact Encoding of Pseudo-Boolean Constraints into {SAT}},
  year   = {2012},
  month  = {July}
}