% TeX root = main.tex

\newacronym{termcomp}{termCOMP}{Termination and Complexity Competition}
\newacronym{aprove}{AProVE}{Automated Program Verification Environment Web Interface}
\newacronym{its}{ITS}{integer transition system}
\newacronym{trs}{TRS}{term rewrite system}
\newacronym{tpdb}{TPDB}{Termination Problems Data Base}
\newacronym{cfr}{CFR}{control-flow refinement}
\newacronym{smt}{SMT}{Satisfiability Modulo Theory}
\newacronym{ppl}{PPL}{Parma Polyhedra Library}
\newacronym{koat}{KoAT}{Komplexitäts Analyse Tool} 
\newacronym{loat}{LoAT}{Loop Accelleration Tool} 
\newacronym{chc}{CHC}{constraint Horn clause}
\newacronym{lrf}{LRF}{Linear Ranking Function}
\newacronym{prf}{PRF}{Polynomial Ranking Function}
\newacronym{mprf}{M$\Phi{}$RF}{multi-phase ranking function}
\newacronym{pip}{PIP}{probabilistic integer program}
\newacronym{dfs}{DFS}{depth-first search}
\newacronym{bfs}{BFS}{breadth-first search}
\newacronym{ilp}{ILP}{linear integer program}
\newacronym{lp}{LP}{linear program}
\newacronym{twn}{TWN}{triangular weakly non-linear loop}
\newacronym{scc}{SCC}{strongly connected component}
\newacronym{past}{PAST}{probably almost surely terminating}
\newacronym{fo}{FO}{first-order}
\newacronym{ocaml}{OCaml}{Objective CAML}
\newacronym{apron}{Apron}{The Apron Numerical Abstract Domain Library}
\newacronym{fvs}{FVS}{Feedback Vertex Set}