|
|
ee7d13ab53
|
Add new figures for the incremental techniques
|
2021-07-15 15:29:13 +10:00 |
|
|
|
19e5e976a9
|
Update arrow distances in flow figure
|
2021-07-15 09:27:50 +10:00 |
|
|
|
5bfe2af4e0
|
Notes by Guido
|
2021-07-14 20:42:24 +10:00 |
|
|
|
e566a353ee
|
Update compilation structure figures
|
2021-07-14 10:17:57 +10:00 |
|
|
|
d2e08fd612
|
CML flow figure and more details when comparing languages
|
2021-07-13 18:51:37 +10:00 |
|
|
|
f81a077d82
|
Fixes for most things pointed out by Andreas
Some items left as TODO comments
|
2021-07-12 17:07:07 +10:00 |
|
|
|
3a623816c8
|
Add the AMPL model from the introduction
|
2021-07-08 14:36:54 +10:00 |
|
|
|
a35f42b456
|
Initial cumulative objective graphs for LNS experiments
|
2021-07-08 14:36:31 +10:00 |
|
|
|
b3bfc58d0d
|
Small fixes suggested by Peter
|
2021-07-08 11:06:39 +10:00 |
|
|
|
9c321fb273
|
Change reification reference.
|
2021-07-08 11:03:41 +10:00 |
|
|
|
622a3255f9
|
Fix typo
|
2021-07-07 18:08:34 +10:00 |
|
|
|
7cd31c628c
|
Change \jip to \todo
|
2021-07-07 17:25:00 +10:00 |
|
|
|
b7d0a3e3a3
|
Fix all concrete feedback from Andreas
|
2021-07-07 17:10:25 +10:00 |
|
|
|
a139905a20
|
Next introduction pass
|
2021-07-07 16:11:33 +10:00 |
|
|
|
595ca2246a
|
A lot of work on the background section
|
2021-07-04 17:07:19 +10:00 |
|
|
|
1d401c1255
|
Use correct terminology in rewriting chapter
|
2021-07-01 18:50:43 +10:00 |
|
|
|
cb263e3b9d
|
Mark shorthands as short commands
|
2021-06-30 17:14:05 +10:00 |
|
|
|
b5512a1c89
|
Small glossary update
|
2021-06-30 17:13:40 +10:00 |
|
|
|
6e50784318
|
A lot of small fixes
|
2021-06-30 15:57:55 +10:00 |
|
|
|
ebac6af4c2
|
Adjust legend position of interpreter comparison
|
2021-06-30 11:50:39 +10:00 |
|
|
|
6b74975608
|
Remove old images
|
2021-06-30 11:48:07 +10:00 |
|
|
|
b6a20cac9c
|
Generate assets in separate build processes
|
2021-06-30 11:42:53 +10:00 |
|
|
|
d6ca88584c
|
Some small glossary changes
|
2021-06-29 12:57:03 +10:00 |
|
|
|
7c68da1447
|
Work on aggregation in rewriting chapter
|
2021-06-29 12:43:16 +10:00 |
|
|
|
3a89916276
|
Work on CSE in rewriting chapter
|
2021-06-29 12:07:08 +10:00 |
|
|
|
c513bfdbd5
|
More work on the glossary
|
2021-06-28 15:55:00 +10:00 |
|
|
|
4c276cdfa6
|
Revert index to a glossary
|
2021-06-28 13:44:09 +10:00 |
|
|
|
eb59f6771f
|
Complete MiniZinc Models section in experiment resources appendix
|
2021-06-26 16:12:24 +10:00 |
|
|
|
83cc139503
|
Correctly set tab size
|
2021-06-26 13:52:35 +10:00 |
|
|
|
03e917dbce
|
Change font to "Text" weight
|
2021-06-24 17:56:31 +10:00 |
|
|
|
9c53a8a1b6
|
Work on the benchmarks appendix
|
2021-06-22 15:39:33 +10:00 |
|
|
|
15b1a63e77
|
Add first real version of the introduction
|
2021-06-19 17:11:53 +10:00 |
|
|
|
e3dcae4d29
|
Stupid reformatting
|
2021-06-16 17:53:14 +10:00 |
|
|
|
ed4a7b8a4f
|
Benchmark Design section
|
2021-06-16 15:50:58 +10:00 |
|
|
|
3d172bc06c
|
Add initial number of the SAT half-reification statistics
|
2021-06-16 15:43:49 +10:00 |
|
|
|
a31b35859c
|
Update build system
|
2021-06-16 15:36:34 +10:00 |
|
|
|
815f5ece56
|
Work on half-reification (most intro)
|
2021-06-13 15:41:16 +10:00 |
|
|
|
93192f7bb0
|
A lot of work on the half-reificaiton chapter
|
2021-06-12 17:20:45 +10:00 |
|
|
|
2b27cd9ad9
|
Remove dots after table number
|
2021-06-12 17:20:15 +10:00 |
|
|
|
63c047335a
|
Cleanup packages
|
2021-06-12 17:19:53 +10:00 |
|
|
|
cfd29fc909
|
Work on half-reif experiments
|
2021-06-10 12:13:20 +10:00 |
|
|
|
6fd413b2ed
|
Ignore most hbox errors for now
|
2021-06-10 12:11:56 +10:00 |
|
|
|
128aecfca0
|
Work on the propagation of half-reified constraint
|
2021-06-07 21:01:57 +10:00 |
|
|
|
3559dea29b
|
More work on automatic analysis
|
2021-06-07 17:35:22 +10:00 |
|
|
|
2af1fe99a0
|
Work on the automatic HR analysis
|
2021-06-07 12:09:00 +10:00 |
|
|
|
13dcf34826
|
Fix package ordering
|
2021-06-03 20:07:25 +10:00 |
|
|
|
2861f4e9f6
|
Change the symbols for examples to fit in the line
|
2021-06-01 11:59:13 +10:00 |
|
|
|
54b2c5b8db
|
Remove strange dot after figure numbers
|
2021-06-01 11:58:44 +10:00 |
|
|
|
3f5cf3aad3
|
Simplify the example environments
|
2021-06-01 11:32:22 +10:00 |
|
|
|
3faa5602df
|
Count algorithms per chapter
|
2021-06-01 11:32:10 +10:00 |
|
