Encoding Linear Constraints into SAT.

Ignasi Abío Valentin Mayer-Eichberger Peter J. Stuckey

Published in: CoRR (2020)

Keyphrases

linear constraints
pseudo boolean constraints
sat encodings
boolean formula
constraint databases
satisfiability problem
nonlinear programming
linearly constrained
sat solvers
quadratic program
constraint solver
equality constraints
sat problem
search algorithm
phase transition
wavelet transform
search space