Login / Signup

Reusing Comparator Networks in Pseudo-Boolean Encodings.

Michal KarpinskiMarek Piotrów
Published in: CoRR (2022)
Keyphrases
  • pseudo boolean constraints
  • pseudo boolean
  • logic programming
  • propositional logic