dekker.one
fork
Configure Feed
Select the types of activity you want to include in your feed.
Jip Dekker's PhD Thesis
fork
Configure Feed
Select the types of activity you want to include in your feed.
1\newacronym[see={[Glossary:]{gls-api}}]{api}{API\glsadd{gls-api}}{\emph{Application Programming Interface}}
2
3\newacronym[see={[Glossary:]{gls-ampl}}]{ampl}{AMPL\glsadd{gls-ampl}}{\emph{A Mathematical Programming Language}}
4
5\newacronym[see={[Glossary:]{gls-ast}}]{ast}{AST\glsadd{gls-ast}}{\emph{Abstract Syntax Tree}}
6
7\newacronym[see={[Glossary:]{gls-cbc}}]{cbc}{CBC\glsadd{gls-cbc}}{\emph{COIN-OR Branch-and-Cut}}
8
9\newacronym[see={[Glossary:]{gls-cbls}}]{cbls}{CBLS\glsadd{gls-cbls}}{\emph{Constraint-Based Local Search}}
10
11\newacronym[see={[Glossary:]{gls-chr}}]{chr}{CHR\glsadd{gls-chr}}{\emph{Constraint Handling Rules}}
12
13\newacronym[see={[Glossary:]{gls-clp}}]{clp}{CLP\glsadd{gls-clp}}{\emph{Constraint Logic Programming}}
14
15\newacronym[see={[Glossary:]{gls-cp}}]{cp}{CP\glsadd{gls-cp}}{\emph{Constraint Programming}}
16
17\newacronym[see={[Glossary:]{gls-cse}}]{cse}{CSE\glsadd{gls-cse}}{\emph{Common Sub-expression Elimination}}
18
19\newacronym{cnf}{CNF\glsadd{cnf}}{\emph{Conjunctive Normal Form}}
20
21\newacronym{cpu}{CPU}{Central Processing Unit}
22
23\newacronym{ess-prime}{Essence'}{Essence Prime}
24
25\newacronym{gbac}{GBAC}{Generalized Balanced Academic Curriculum}
26
27\newacronym[see={[Glossary:]{gls-lcg}}]{lcg}{LCG\glsadd{gls-lcg}}{\emph{Lazy Clause Generation}}
28
29\newacronym[see={[Glossary:]{gls-lns}}]{lns}{LNS\glsadd{gls-lns}}{\emph{Large Neighbourhood Search}}
30
31\newacronym{lp}{LP}{Linear Programming}
32
33\newacronym{maxsat}{MaxSAT\glsadd{gls-maxsat}}{\emph{Maximum Satisfiability}}
34
35\newacronym{mix}{\textit{mix}}{mixed context}
36
37\newacronym[see={[Glossary:]{gls-mip}}]{mip}{MIP\glsadd{gls-mip}}{\emph{Mixed Integer Programming}}
38
39\newacronym{neg}{\textit{neg}}{negative context}
40
41\newacronym{np}{NP}{Nondeterministic Polynomial-time}
42
43\newacronym{or}{OR}{Operations Research}
44
45\newacronym[see={[Glossary:]{gls-opl}}]{opl}{OPL\glsadd{gls-opl}}{The Optimization Programming Language}
46
47\newacronym{pos}{\textit{pos}}{positive context}
48
49\newacronym{ram}{RAM}{Random Access Memory}
50
51\newacronym{rcpsp}{RCPSP}{Resource-Constrained Project Scheduling problem}
52
53\newacronym{root}{\textit{root}}{root context}
54
55\newacronym[see={[Glossary:]{gls-sat}}]{sat}{SAT\glsadd{gls-sat}}{\emph{Boolean Satisfiability}}
56
57\newacronym{tsp}{TSP}{Travelling Salesperson Problem}
58