welcome: please sign in
location: Info for "OfficialProblemSuite"

[Show "Revision History"] [Show "General Page Infos"] [Show "Page hits and edits"]

Revision History

Showing page edit history entries from 96 to 195 out of 195 entries total. (5 | 10 | 25 | 50 | 100 | 200 items per page)

195 95 Older
# Date Size Editor Comment Action
111 2020-10-05 10:54:33 21331 to previous FrancescoCalimeri   view
110 2020-05-04 11:47:14 21117 to previous FrancescoCalimeri   view
109 2013-08-07 16:04:33 20678 to previous GiovambattistaIanni   view
108 2013-06-03 09:57:58 20575 to previous GiovambattistaIanni   view
107 2013-06-03 08:03:54 20566 to previous GiovambattistaIanni   view
106 2013-06-03 08:01:01 20617 to previous GiovambattistaIanni   view
105 2013-06-03 08:00:16 20616 to previous GiovambattistaIanni   view
104 2013-06-03 07:59:17 20612 to previous GiovambattistaIanni   view
103 2013-04-11 10:01:34 20600 to previous GiovambattistaIanni   view
102 2013-03-27 17:16:34 20340 to previous GiovambattistaIanni   view
101 2013-03-25 12:34:46 20201 to previous GiovambattistaIanni   view
100 2013-03-24 22:26:11 19809 to previous GiovambattistaIanni   view
99 2013-03-24 22:25:20 19805 to previous GiovambattistaIanni   view
98 2013-03-23 12:09:54 19708 to previous GiovambattistaIanni   view
97 2013-03-23 10:35:57 19651 to previous GiovambattistaIanni   view
96 2013-03-21 18:03:14 19474 to previous GiovambattistaIanni   view
95 2013-03-21 17:58:39 19428 to previous GiovambattistaIanni   view
94 2013-03-21 15:40:29 19100 to previous FrancescoCalimeri Fix some typos in description of Solitaire problem, and accordingly fix encoding. view
93 2013-03-20 18:51:28 18992 to previous FrancescoCalimeri   view
92 2013-03-20 18:46:04 18937 to previous FrancescoCalimeri * Update definition of Qualitative Spatial Reasoning. view
91 2013-03-20 09:59:31 18860 to previous GiovambattistaIanni   view
90 2013-03-19 21:14:16 18955 to previous FrancescoCalimeri update links to checkers view
89 2013-03-19 18:57:16 18955 to previous FrancescoCalimeri update links to encodings. view
88 2013-03-19 08:37:47 18955 to previous FrancescoCalimeri   view
87 2013-03-19 08:37:06 18967 to previous FrancescoCalimeri Update definition of Incremental Scheduling by means of some clarifications. view
86 2013-03-18 14:38:14 18859 to previous FrancescoCalimeri update links to encodings. view
85 2013-03-16 12:04:05 18135 to previous GiovambattistaIanni   view
84 2013-03-16 11:53:00 17937 to previous GiovambattistaIanni   view
83 2013-03-16 11:52:27 18029 to previous GiovambattistaIanni   view
82 2013-03-16 11:09:40 18114 to previous GiovambattistaIanni   view
81 2013-03-16 10:20:21 18055 to previous GiovambattistaIanni   view
80 2013-03-16 10:16:55 18055 to previous GiovambattistaIanni   view
79 2013-03-16 10:16:36 18053 to previous GiovambattistaIanni   view
78 2013-03-15 15:55:25 17969 to previous GiovambattistaIanni   view
77 2013-03-14 22:32:54 17861 to previous FrancescoCalimeri Fixed encoding and checker for Knight Tour with Holes. view
76 2013-03-14 09:16:52 17801 to previous e209-009   view
75 2013-03-03 15:58:03 17701 to previous FrancescoCalimeri Fix example in Solitaire domain description page view
74 2013-03-02 11:30:10 17627 to previous GiovambattistaIanni   view
73 2013-03-02 11:29:58 17629 to previous GiovambattistaIanni   view
72 2013-03-01 17:27:49 17381 to previous FrancescoCalimeri Fix encoding for Connected Maximum-density Still Life domain. view
71 2013-03-01 13:49:54 17314 to previous FrancescoCalimeri   view
70 2013-03-01 10:08:03 17268 to previous FrancescoCalimeri update changelog view
69 2013-03-01 10:01:09 17206 to previous FrancescoCalimeri add link to sample instances for Qualitative Spatial Reasoning view
68 2013-03-01 09:51:37 17453 to previous GiovambattistaIanni   view
67 2013-03-01 08:26:43 17352 to previous GiovambattistaIanni   view
66 2013-02-26 12:48:38 17238 to previous GiovambattistaIanni   view
65 2013-02-25 10:04:25 17189 to previous e214-001   view
64 2013-02-24 21:41:15 17001 to previous GiovambattistaIanni   view
63 2013-02-23 17:28:54 16408 to previous FrancescoCalimeri update all links to checkers in order to point to svn versions view
62 2013-02-22 09:41:52 16017 to previous FrancescoCalimeri Updated Knight Tour with Holes description view
61 2013-02-21 12:23:09 15948 to previous GiovambattistaIanni   view
60 2013-02-20 17:21:53 15938 to previous GiovambattistaIanni   view
59 2013-02-20 00:21:51 15693 to previous FrancescoCalimeri link encodings to slinks pointing to an automatically up-to-date svn copy view
58 2013-02-19 23:46:28 14517 to previous FrancescoCalimeri link sample instances to slinks pointing to an automatically up-to-date svn copy view
57 2013-02-18 13:11:28 14335 to previous GuohuiXiao fix two links in encoding view
56 2013-02-18 13:01:24 14414 to previous GuohuiXiao fix the link of visitall-sample.zip (before was "...samples...") view
55 2013-02-18 09:02:42 14472 to previous GiovambattistaIanni   view
54 2013-02-16 11:44:38 14397 to previous GiovambattistaIanni Changed path of ricochet robots sample instances view
53 2013-02-15 14:09:49 14391 to previous GiovambattistaIanni   view
52 2013-02-13 09:37:59 14312 to previous GiovambattistaIanni   view
51 2013-02-13 09:37:29 14241 to previous GiovambattistaIanni Removed rota-workforce view
50 2013-02-13 09:36:25 14454 to previous GiovambattistaIanni   view
49 2013-02-13 09:35:46 14376 to previous GiovambattistaIanni   view
48 2013-02-11 15:06:47 14341 to previous GiovambattistaIanni   view
47 2013-02-11 12:40:26 14249 to previous GuentherCharwat   view
46 2013-02-11 11:05:20 14117 to previous GiovambattistaIanni   view
45 2013-02-11 10:37:23 13314 to previous GiovambattistaIanni   view
44 2013-02-11 10:35:55 13204 to previous GiovambattistaIanni   view
43 2013-02-11 10:35:13 13197 to previous GiovambattistaIanni   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 GiovambattistaIanni   view
39 2013-02-09 16:43:01 12920 to previous GiovambattistaIanni   view
38 2013-02-09 16:24:37 12783 to previous GiovambattistaIanni   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
195 95 Older