tangled
alpha
login
or
join now
dekker.one
/
dekker-phd-thesis
0
fork
atom
Jip Dekker's PhD Thesis
0
fork
atom
overview
issues
pulls
pipelines
dekker-phd-thesis
/
assets
/
listing
/
at
develop
1 folder
40 files
minilns
CML flow figure and more details when comparing languages
4 years ago
back_jsp.mod
CML flow figure and more details when comparing languages
4 years ago
back_jsp.mzn
CML flow figure and more details when comparing languages
4 years ago
back_knapsack.fzn
Notes by Guido
4 years ago
back_knapsack.mzn
CML flow figure and more details when comparing languages
4 years ago
back_nqueens.eprime
Add initial section on Essence compilation
4 years ago
back_queens.mzn
Fix some final formatting issues
4 years ago
back_sgp.essence
CML flow figure and more details when comparing languages
4 years ago
back_sgp.mzn
Incorporate most of Guido's feedback on Background
4 years ago
back_tsp.mod
Fix TSP model
4 years ago
back_tsp.mzn
Fix typos from examiner feedback
4 years ago
half_alldiff.mzn
Work on the reification chapter
4 years ago
half_reif_check.mzn
Incorporate Guido's feedback on Half-Reification
4 years ago
inc_adaptive.mzn
Incorporate Guido's Feedback on Incremental Constraint Modelling
4 years ago
inc_basic_complete.mzn
Remaining questions after Guido's notes
4 years ago
inc_basic_complete_transformed.mzn
Fix references
4 years ago
inc_complete.mzn
Description for complete
4 years ago
inc_gbac_neighbourhood.mzn
Fix references
4 years ago
inc_hill_climb.mzn
Before dinner editing
4 years ago
inc_lex_min.mzn
Description for complete
4 years ago
inc_lns_minisearch.mzn
Fix references
4 years ago
inc_lns_minisearch_pred.mzn
Fix references
4 years ago
inc_pareto.mzn
Before dinner editing
4 years ago
inc_rcpsp_neighbourhood.mzn
Fix references
4 years ago
inc_restart_ann.mzn
Fix references
4 years ago
inc_round_robin.mzn
Fix references
4 years ago
inc_sim_ann.mzn
Remaining questions after Guido's notes
4 years ago
inc_sol_function.mzn
Fix references
4 years ago
inc_state_access.mzn
Fix references
4 years ago
inc_status.mzn
Incorporate Guido's Feedback on Incremental Constraint Modelling
4 years ago
inc_steelmillslab_neighbourhood.mzn
Fix references
4 years ago
inc_uniform_slv.mzn
Fix references
4 years ago
intro_open_shop.mod
Notes from Andreas
4 years ago
prize.mzn
CML flow figure and more details when comparing languages
4 years ago
qcp_max.mzn
CML flow figure and more details when comparing languages
4 years ago
rew_abs.mzn
Use of floating listings in rewriting chapter
4 years ago
rew_elem_safe.mzn
Fix last errors spotted by Guido
4 years ago
rew_knapsack.mzn
Use of floating listings in rewriting chapter
4 years ago
rew_opt_plus.mzn
Use of floating listings in rewriting chapter
4 years ago
rew_pigeon_mzn.mzn
Use of floating listings in rewriting chapter
4 years ago
rew_pigeon_uzn.mzn
Attempt at remaining feedback
4 years ago