Reusing Comparator Networks in Pseudo-Boolean Encodings.

Michal Karpinski Marek Piotrów

Published in: ICTAI (2022)

Keyphrases

pseudo boolean constraints
pseudo boolean
integer linear programming
logic programming
combinatorial problems
symmetry breaking
orders of magnitude
search algorithm
lower bound
exact solution
boolean satisfiability