# |
Date |
Size |
|
Editor |
Comment |
Action |
44 |
2013-02-11 10:35:55 |
13204 |
to previous |
maia |
|
view |
43 |
2013-02-11 10:35:13 |
13197 |
to previous |
maia |
|
view |
42 |
2013-02-10 21:59:09 |
13098 |
to previous |
FrancescoCalimeri |
Fix, update and clarify specs for Rotating Workforce Scheduling. |
view |
41 |
2013-02-10 18:02:20 |
13002 |
to previous |
FrancescoCalimeri |
|
view |
40 |
2013-02-09 16:44:29 |
12926 |
to previous |
host146-17-dynamic |
|
view |
39 |
2013-02-09 16:43:01 |
12920 |
to previous |
host146-17-dynamic |
|
view |
38 |
2013-02-09 16:24:37 |
12783 |
to previous |
host146-17-dynamic |
|
view |
37 |
2013-02-09 11:06:47 |
12655 |
to previous |
FrancescoCalimeri |
change strategic companies code from O12 to N12 (formulation has changed!!!!) and mark it with a star for the sake or visibility. |
view |
36 |
2013-02-09 09:59:47 |
12648 |
to previous |
FrancescoCalimeri |
fix link to encoding and sample instances for strategic companies. |
view |
- |
2013-02-09 09:51:26 |
725 |
- |
FrancescoCalimeri |
ATTNEW: Strategic-Companies-ENCODING.txt |
view get |
- |
2013-02-09 09:50:17 |
725 |
- |
FrancescoCalimeri |
ATTDEL: Strategic-Companies-ENCODING.txt |
view get |
35 |
2013-02-08 16:14:50 |
12649 |
to previous |
FrancescoCalimeri |
|
view |
34 |
2013-02-08 16:13:45 |
12649 |
to previous |
FrancescoCalimeri |
|
view |
- |
2013-02-08 16:12:06 |
376 |
- |
FrancescoCalimeri |
ATTNEW: Graph-Colouring-ENCODING.txt |
view get |
- |
2013-02-08 16:11:18 |
1988 |
- |
FrancescoCalimeri |
ATTNEW: Hanoi-Tower-ENCODING.txt |
view get |
- |
2013-02-08 16:10:33 |
4630 |
- |
FrancescoCalimeri |
ATTNEW: Minimal-Diagnosis-ENCODING.txt |
view get |
- |
2013-02-08 16:10:11 |
2510 |
- |
FrancescoCalimeri |
ATTNEW: Labyrinth-ENCODING.txt |
view get |
- |
2013-02-08 16:09:39 |
332 |
- |
FrancescoCalimeri |
ATTNEW: Maximal-Clique-Problem-ENCODING.txt |
view get |
- |
2013-02-08 16:08:52 |
2032 |
- |
FrancescoCalimeri |
ATTNEW: Knight-Tour-with-Holes-ENCODING.txt |
view get |
- |
2013-02-08 16:08:22 |
2510 |
- |
FrancescoCalimeri |
ATTNEW: Complex-Optimization-of-Answer-Sets-ENCODING.txt |
view get |
- |
2013-02-08 16:06:27 |
1155 |
- |
FrancescoCalimeri |
ATTNEW: Visit-all-ENCODING.txt |
view get |
- |
2013-02-08 16:05:52 |
4595 |
- |
FrancescoCalimeri |
ATTNEW: Abstract-Dialectical-Frameworks-Well-founded-Model-ENCODING.txt |
view get |
- |
2013-02-08 16:05:15 |
68960906 |
- |
FrancescoCalimeri |
ATTNEW: Chemical-Classification-ENCODING.txt |
view get |
- |
2013-02-08 16:01:00 |
16058 |
- |
FrancescoCalimeri |
ATTNEW: Qualitative-Spatial-Reasoning-ENCODING.txt |
view get |
- |
2013-02-08 15:59:55 |
2996 |
- |
FrancescoCalimeri |
ATTNEW: Incremental-Scheduling-ENCODING.txt |
view get |
- |
2013-02-08 15:59:33 |
572 |
- |
FrancescoCalimeri |
ATTNEW: Stable-Marriage-ENCODING.txt |
view get |
- |
2013-02-08 15:59:00 |
2301 |
- |
FrancescoCalimeri |
ATTNEW: Weighted-Sequence-Problem-ENCODING.txt |
view get |
- |
2013-02-08 15:58:38 |
4118 |
- |
FrancescoCalimeri |
ATTNEW: Solitaire-ENCODING.txt |
view get |
- |
2013-02-08 15:58:17 |
725 |
- |
FrancescoCalimeri |
ATTNEW: Strategic-Companies-ENCODING.txt |
view get |
- |
2013-02-08 15:57:41 |
68 |
- |
FrancescoCalimeri |
ATTNEW: Reachability-ENCODING.txt |
view get |
- |
2013-02-08 15:57:17 |
1709 |
- |
FrancescoCalimeri |
ATTNEW: Crossing-Minimization-ENCODING.txt |
view get |
- |
2013-02-08 15:56:55 |
1818 |
- |
FrancescoCalimeri |
ATTNEW: Ricochet-Robots-ENCODING.txt |
view get |
- |
2013-02-08 15:56:11 |
6079 |
- |
FrancescoCalimeri |
ATTNEW: Sokoban-ENCODING.txt |
view get |
- |
2013-02-08 15:55:39 |
2340 |
- |
FrancescoCalimeri |
ATTNEW: Nomystery-ENCODING.txt |
view get |
- |
2013-02-08 15:55:14 |
361 |
- |
FrancescoCalimeri |
ATTNEW: Bottle-Filling-Problem-ENCODING.txt |
view get |
- |
2013-02-08 15:54:55 |
614 |
- |
FrancescoCalimeri |
ATTNEW: Graceful-Graphs-ENCODING.txt |
view get |
- |
2013-02-08 15:51:51 |
966 |
- |
FrancescoCalimeri |
ATTNEW: Connected-Maximum-density-Still-Life-ENCODING.txt |
view get |
- |
2013-02-08 15:50:53 |
4318 |
- |
FrancescoCalimeri |
ATTNEW: Valves-Location-Problem-ENCODING.txt |
view get |
- |
2013-02-08 15:46:27 |
547 |
- |
FrancescoCalimeri |
ATTNEW: Permutation-Pattern-Matching-ENCODING.txt |
view get |
33 |
2013-02-08 15:45:57 |
12634 |
to previous |
FrancescoCalimeri |
|
view |
- |
2013-02-08 15:44:51 |
547 |
- |
FrancescoCalimeri |
ATTNEW: Permutation-Pattern-Matching-ENCODING.asp |
view get |
32 |
2013-02-08 15:44:07 |
12634 |
to previous |
FrancescoCalimeri |
adding official encodings |
view |
- |
2013-02-07 11:48:26 |
0 |
- |
jok |
ATTDEL: crossing_minimization-checker.zip |
|
- |
2013-02-07 10:43:51 |
0 |
- |
jok |
ATTNEW: crossing_minimization-checker.zip |
|
31 |
2013-02-06 10:05:21 |
10645 |
to previous |
maia |
|
view |
30 |
2013-02-05 15:14:32 |
10832 |
to previous |
maia |
|
view |
29 |
2013-02-05 15:09:21 |
10754 |
to previous |
maia |
|
view |
28 |
2013-02-05 15:04:21 |
10681 |
to previous |
maia |
|
view |
27 |
2013-02-04 23:20:56 |
10596 |
to previous |
e209-105 |
|
view |
26 |
2013-02-04 23:20:13 |
10595 |
to previous |
e209-105 |
|
view |