Index of /papers/ovenscheduling/OSP models
Name
Last modified
Size
Description
Parent Directory
-
ovenScheduling-opl-V1a.mod
2021-05-21 11:42
10K
mip_warmstart-default.mzn
2021-05-26 10:13
104
mip_model_with_b_aux.mzn
2021-05-21 14:06
199
mip_model_warmstart_with_b_aux.mzn
2021-05-26 10:16
202
mip_model_warmstart.mzn
2021-05-26 10:03
13K
mip_model_obj_t2.mzn
2021-05-21 14:06
13K
mip-search7.mzn
2021-05-21 14:06
394
mip-search6.mzn
2021-05-21 14:06
392
mip-search5.mzn
2021-05-21 14:06
395
mip-search4.mzn
2021-05-21 14:06
392
mip-search3.mzn
2021-05-21 14:06
390
mip-search2.mzn
2021-05-21 14:06
393
mip-search1.mzn
2021-05-21 14:06
122
mip-default.mzn
2021-05-21 14:06
64
cp_model_warmstart.mzn
2021-05-26 10:03
8.2K
cp_model_warmstart-default.mzn
2021-05-26 10:12
103
cp_model_simpler.mzn
2021-05-21 14:06
8.1K
cp_model_simpler-search7.mzn
2021-05-21 14:06
390
cp_model_simpler-search6.mzn
2021-05-21 14:06
388
cp_model_simpler-search5.mzn
2021-05-21 14:06
391
cp_model_simpler-search4.mzn
2021-05-21 14:06
388
cp_model_simpler-search3.mzn
2021-05-21 14:06
386
cp_model_simpler-search2.mzn
2021-05-21 14:06
389
cp_model_simpler-search1.mzn
2021-05-21 14:06
118
cp_model_simpler-default.mzn
2021-05-21 14:06
64
Apache/2.4.38 (Debian) Server at cdlab-artis.dbai.tuwien.ac.at Port 443