Compiling Pseudo-Boolean Constraints to SAT with Order Encoding | IEEE Conference Publication | IEEE Xplore