Competitive Sorter-based Encoding of PB-Constraints into SAT.

Michal Karpinski Marek Piotrów

Published in: POS@SAT (2018)

Keyphrases

sat encodings
pseudo boolean constraints
pseudo boolean
search algorithm
constraint programming
logic programming
phase transition
sat solvers
data sets
linear constraints
fractal image compression
constraint solving
propositional satisfiability