SAT

Built a C++ library and an efficient CNF encoding for solving Pseudo-Boolean Optimization problems via off-the-shelf SAT solvers, with linear and binary minimization strategies and configurable timeout policies for time-bounded solving.