alpha
Login
Join now
dekker.one
/
dekker-phd-thesis
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
This repository has no description
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
dekker-phd-thesis
/
assets
/
listing
1 folder
·
40 files
at
develop
Jip J. Dekker
·
Fix last errors spotted by Guido
·
4y ago
2a17d406
minilns
CML flow figure and more details when comparing languages
5y ago
back_jsp.mod
CML flow figure and more details when comparing languages
5y ago
back_jsp.mzn
CML flow figure and more details when comparing languages
5y ago
back_knapsack.fzn
Notes by Guido
5y ago
back_knapsack.mzn
CML flow figure and more details when comparing languages
5y ago
back_nqueens.eprime
Add initial section on Essence compilation
5y ago
back_queens.mzn
Fix some final formatting issues
4y ago
back_sgp.essence
CML flow figure and more details when comparing languages
5y ago
back_sgp.mzn
Incorporate most of Guido's feedback on Background
5y ago
back_tsp.mod
Fix TSP model
5y ago
back_tsp.mzn
Fix typos from examiner feedback
4y ago
half_alldiff.mzn
Work on the reification chapter
5y ago
half_reif_check.mzn
Incorporate Guido's feedback on Half-Reification
5y ago
inc_adaptive.mzn
Incorporate Guido's Feedback on Incremental Constraint Modelling
5y ago
inc_basic_complete_transformed.mzn
Fix references
5y ago
inc_basic_complete.mzn
Remaining questions after Guido's notes
5y ago
inc_complete.mzn
Description for complete
5y ago
inc_gbac_neighbourhood.mzn
Fix references
5y ago
inc_hill_climb.mzn
Before dinner editing
5y ago
inc_lex_min.mzn
Description for complete
5y ago
inc_lns_minisearch_pred.mzn
Fix references
5y ago
inc_lns_minisearch.mzn
Fix references
5y ago
inc_pareto.mzn
Before dinner editing
5y ago
inc_rcpsp_neighbourhood.mzn
Fix references
5y ago
inc_restart_ann.mzn
Fix references
5y ago
inc_round_robin.mzn
Fix references
5y ago
inc_sim_ann.mzn
Remaining questions after Guido's notes
5y ago
inc_sol_function.mzn
Fix references
5y ago
inc_state_access.mzn
Fix references
5y ago
inc_status.mzn
Incorporate Guido's Feedback on Incremental Constraint Modelling
5y ago
inc_steelmillslab_neighbourhood.mzn
Fix references
5y ago
inc_uniform_slv.mzn
Fix references
5y ago
intro_open_shop.mod
Notes from Andreas
5y ago
prize.mzn
CML flow figure and more details when comparing languages
5y ago
qcp_max.mzn
CML flow figure and more details when comparing languages
5y ago
rew_abs.mzn
Use of floating listings in rewriting chapter
5y ago
rew_elem_safe.mzn
Fix last errors spotted by Guido
4y ago
rew_knapsack.mzn
Use of floating listings in rewriting chapter
5y ago
rew_opt_plus.mzn
Use of floating listings in rewriting chapter
5y ago
rew_pigeon_mzn.mzn
Use of floating listings in rewriting chapter
5y ago
rew_pigeon_uzn.mzn
Attempt at remaining feedback
4y ago