Visualitzant Articles publicats (D-IMAE) per autor "Ulrich-Oltean, Felix"
​ ​ ​ ​

SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints