\newchapter{Acronyms used}

\begin{acronym}
\acro{GCD}{Greatest Common Divisor}
\acro{LCM}{Least Common Multiple}
\acro{CNF}{Conjunctive normal form}
\acro{WCNF}{Weighted Conjunctive normal form}
\acro{DNF}{Disjunctive normal form}
\acro{DSL}{Domain-specific language}
\acro{CPRNG}{Cryptographically Secure Pseudorandom Number Generator}
\acro{SMT}{Satisfiability modulo theories}
\acro{SAT}{Boolean satisfiability problem}
\acro{LCG}{Linear congruential generator}
\acro{PL}{Programming Language}
\acro{OOP}{Object-oriented programming}
\acro{SSA}{Static single assignment form}
\acro{CPU}{Central processing unit}
\acro{FPU}{Floating-point unit}
\acro{PRNG}{Pseudorandom number generator}
\acro{CRT}{C runtime library}
\acro{CRC}{Cyclic redundancy check}
\acro{AST}{Abstract syntax tree}
\acro{AKA}{Also Known As}
\acro{CTF}{Capture the Flag}
\acro{ISA}{Instruction Set Architecture}
\acro{CSP}{Constraint satisfaction problem}
\acro{CS}{Computer science}
\acro{DAG}{Directed acyclic graph}
\acro{NOP}{No Operation}
\acro{JVM}{Java Virtual Machine}
\acro{VM}{Virtual Machine}
\acro{LZSS}{Lempel–Ziv–Storer–Szymanski}
\acro{RAM}{Random-access memory}
\acro{FPGA}{Field-programmable gate array}
\acro{EDA}{Electronic design automation}
\acro{MAC}{Message authentication code}
\acro{ECC}{Elliptic curve cryptography}
\acro{API}{Application programming interface}
\acro{NSA}{National Security Agency}
\acro{DPLL}{Davis–Putnam–Logemann–Loveland}
\acro{QF}{Quantifier Free}
\acro{LIA}{Linear Integer Arithmetic}
\acro{SGP}{Social Golfer Problem}
\acro{WBO}{Weighted Boolean Optimization}
\acro{PBO}{Pseudo-Boolean Optimization}
\acro{FSM}{Finite State Machine}
\acro{RE}{Regular Expression}
\acro{RSA}{Rivest–Shamir–Adleman cryptosystem}
\acro{ITE}{If-Then-Else}
\acro{DFA}{Deterministic finite automaton}
\acro{TAOCP}{The Art Of Computer Programming (Donald Knuth's book)}
\acro{DES}{Data Encryption Standard}
\acro{ALU}{Arithmetic logic unit}
\acro{EE}{Electrical engineering}
\acro{PCB}{Printed circuit board}
\acro{ETA}{Estimated time of arrival}
\acro{CDCL}{Conflict-driven clause learning}
\acro{MSB}{Most Significant Bit}
\acro{ILP}{Integer Linear Programming}
\acro{IFF}{If and only if: $\iff$}
\acro{UF}{Uninterpreted Function}
\acro{MUS}{Minimal Unsatisfiable Subformula}
\acro{MCS}{Minimal Correction Subset}
\acro{OEIS}{On-Line Encyclopedia of Integer Sequences}
\acro{CSV}{Comma-Separated Values}
\acro{ROM}{Read-Only Memory}
\acro{ASIC}{Application-specific integrated circuit}
\acro{GPU}{Graphics Processing Unit}
\acro{NFA}{Nondeterministic Finite Automaton}
\acro{FA}{Finite Automaton}
\acro{BTW}{By The Way}
\acro{JSON}{JavaScript Object Notation}
\acro{LS}{Latin Square}
\acro{MOLS}{Mutually Orthogonal Latin Square}
\end{acronym}