|
|
edf81a9b77
|
Add nicer box for line numbered listings
|
2021-07-27 14:49:26 +10:00 |
|
|
|
3f5b093944
|
Remove mention of flattener
|
2021-07-27 14:47:42 +10:00 |
|
|
|
91d264597c
|
Remaining questions after Guido's notes
|
2021-07-27 12:57:37 +10:00 |
|
|
|
b63274965f
|
Incorporate Guido's Feedback on Incremental Constraint Modelling
|
2021-07-26 20:51:03 +10:00 |
|
|
|
c3c54f5c5a
|
Small changes
|
2021-07-26 18:08:32 +10:00 |
|
|
|
47265d441d
|
A global grammar check
|
2021-07-26 15:38:10 +10:00 |
|
|
|
ac4dfb75d7
|
Fix background information about bounds consistency
|
2021-07-26 14:07:51 +10:00 |
|
|
|
39faee6c40
|
Use sections instead of paragraphs in conclusions
|
2021-07-26 13:14:37 +10:00 |
|
|
|
19cb6a114e
|
Remove unused command
|
2021-07-26 13:13:47 +10:00 |
|
|
|
205b25d74b
|
Mention specific maxsat solvers and version used
|
2021-07-26 13:13:32 +10:00 |
|
|
|
062941712c
|
Update figures in Incremental chapter
|
2021-07-26 13:00:09 +10:00 |
|
|
|
77722f0f87
|
Fix the pareto front predicate
|
2021-07-26 12:04:35 +10:00 |
|
|
|
b94eb66e12
|
Incorporate Peter's feedback
|
2021-07-26 11:44:31 +10:00 |
|
|
|
87c059609a
|
Enable more grammar rules
|
2021-07-26 09:35:20 +10:00 |
|
|
|
1114894da5
|
Fix reference capitalization
|
2021-07-26 09:34:36 +10:00 |
|
|
|
f480d6fea4
|
Do not show line numbers for listings without references to lines
|
2021-07-25 18:45:35 +10:00 |
|
|
|
669ad29176
|
Remove journal abbreviations from references
|
2021-07-25 18:44:53 +10:00 |
|
|
|
d771d3ec3e
|
Clear warning on the glossary
|
2021-07-25 17:22:30 +10:00 |
|
|
|
9ad2019622
|
Style changes for captions
|
2021-07-25 16:57:58 +10:00 |
|
|
|
c53d492e11
|
Fix small spelling inconsistencies
|
2021-07-25 15:32:42 +10:00 |
|
|
|
3325a77cc1
|
Remove "you"
|
2021-07-25 14:35:17 +10:00 |
|
|
|
4e91fa20a3
|
Avoid the use of "no <dummy>"
|
2021-07-25 14:23:21 +10:00 |
|
|
|
4b007951a5
|
Add configuration for LTeX
|
2021-07-25 11:23:52 +10:00 |
|
|
|
504606ec06
|
Add missing glossary description
|
2021-07-25 11:22:09 +10:00 |
|
|
|
3ffe2463ac
|
Fix URLS
|
2021-07-25 11:16:50 +10:00 |
|
|
|
9dab14ab46
|
Grammar pass over Incremental Constraint Modelling
|
2021-07-25 11:12:16 +10:00 |
|
|
|
37bb92b3b9
|
Update README.md
|
2021-07-25 10:57:46 +10:00 |
|
|
|
51db6b5703
|
Grammar pass over Rewriting
|
2021-07-25 10:55:57 +10:00 |
|
|
|
63dc091a73
|
Slightly simplify the monotone definition
|
2021-07-25 10:44:24 +10:00 |
|
|
|
bd6a9f9d44
|
Small changes to a few files
|
2021-07-25 10:44:12 +10:00 |
|
|
|
b84118430f
|
Grammar pass over Conclusions
|
2021-07-25 10:24:58 +10:00 |
|
|
|
31770d0c98
|
Grammar pass over Half Reification
|
2021-07-25 10:24:42 +10:00 |
|
|
|
e3a864effe
|
Incorporate Guido's feedback on Half-Reification
|
2021-07-24 22:17:56 +10:00 |
|
|
|
167fda8755
|
Grammar check of Benchmark section
|
2021-07-24 13:50:31 +10:00 |
|
|
|
b4f42220e0
|
Grammar check of the Abstract
|
2021-07-24 13:50:08 +10:00 |
|
|
|
e1c17122ee
|
Small style fixes
|
2021-07-24 13:49:46 +10:00 |
|
|
|
6cc7e377b3
|
Grammar check of the Background
|
2021-07-24 13:47:12 +10:00 |
|
|
|
e25e0d46c4
|
Grammar check for the glossary
|
2021-07-24 12:07:12 +10:00 |
|
|
|
b6a54d384b
|
Grammar check of the introduction
|
2021-07-24 11:35:43 +10:00 |
|
|
|
f6d869885b
|
Remove unused short hands
|
2021-07-24 11:35:15 +10:00 |
|
|
|
b29d355a6f
|
Move a model in the introduction to after first reference
|
2021-07-23 21:59:04 +10:00 |
|
|
|
a6be2980b7
|
Add initial section on Essence compilation
|
2021-07-23 21:58:39 +10:00 |
|
|
|
88d1fb41af
|
Incorporate Guido's feedback on the Conclusions
|
2021-07-23 16:16:19 +10:00 |
|
|
|
7a7069dcc4
|
Fix TSP model
|
2021-07-23 16:15:43 +10:00 |
|
|
|
5ade8a1ff6
|
Fix double dots
|
2021-07-23 11:55:52 +10:00 |
|
|
|
a267db1e81
|
Final (non-essence) feedback from Guido
|
2021-07-23 11:47:47 +10:00 |
|
|
|
2c3bd8bef9
|
Full draft of the abstract
|
2021-07-23 11:00:54 +10:00 |
|
|
|
4cf69764f7
|
Lose qualifier in the title
|
2021-07-23 10:57:53 +10:00 |
|
|
|
f9e199d699
|
Beginning to an abstract
|
2021-07-22 21:58:00 +10:00 |
|
|
|
c399924c89
|
Incorporate most of Guido's feedback on Background
|
2021-07-22 21:57:28 +10:00 |
|
