|
|
80b32f11e7
|
Update half reification chapter with SAT experiment numbers
|
2021-07-19 18:26:51 +10:00 |
|
|
|
925a2c1101
|
Work on half reification
|
2021-07-17 16:22:29 +10:00 |
|
|
|
6e50784318
|
A lot of small fixes
|
2021-06-30 15:57:55 +10:00 |
|
|
|
3d172bc06c
|
Add initial number of the SAT half-reification statistics
|
2021-06-16 15:43:49 +10:00 |
|
|
|
93192f7bb0
|
A lot of work on the half-reificaiton chapter
|
2021-06-12 17:20:45 +10:00 |
|
