\section*{Used abbreviations}
\begin{table}[h]
%\centering
%\hspace{-0.7cm}
 %\vspace{-1cm}
    \begin{tabular}{r|cl}
    \textbf{Abbreviation} &$  $& \textbf{Full name}       \\    \hline
 AC && Arc Consistency \\
 API && Application Programming Interface \\
 CSP && Constraint Satisfaction Problem\\
 DAG && Directed Acyclic Graph\\
 FH && First Hit strategy \\ 
 FIH && First-increasing Hit strategy \\
 FNDH && First Non-decreasing Hit strategy \\
 ILP && Integer Linear Program\\
 LHS && Left-hand Side \\
 LP && Linear Program \\
 MAF && Maximum of Affine Functions\\
 RHS && Right-hand Side \\
 SMAF && Sum of Maxima of Affine Functions\\
 WLOG && Without Loss of Generality\\
 w.r.t. && With Respect to \\



     \end{tabular}
\end{table}