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 71 to 120 out of 195 entries total. (5 | 10 | 25 | 50 | 100 | 200 items per page)

# Date Size Editor Comment Action
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 - GuentherCharwat ATTDEL: crossing_minimization-checker.zip
- 2013-02-07 10:43:51 0 - GuentherCharwat ATTNEW: crossing_minimization-checker.zip
31 2013-02-06 10:05:21 10645 to previous GiovambattistaIanni   view
30 2013-02-05 15:14:32 10832 to previous GiovambattistaIanni   view
29 2013-02-05 15:09:21 10754 to previous GiovambattistaIanni   view
28 2013-02-05 15:04:21 10681 to previous GiovambattistaIanni   view
27 2013-02-04 23:20:56 10596 to previous GuohuiXiao   view
26 2013-02-04 23:20:13 10595 to previous GuohuiXiao   view
25 2013-02-04 23:18:25 10603 to previous GuohuiXiao   view
24 2013-02-04 23:14:29 9652 to previous GuohuiXiao   view
23 2013-02-03 20:38:47 8466 to previous GiovambattistaIanni Checkers were wrong. view
- 2013-02-03 19:08:04 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_22_checker.zip
- 2013-02-03 19:07:59 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_9_checker.zip
- 2013-02-03 19:07:58 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_8_checker.zip
- 2013-02-03 19:07:57 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_6_checker.zip
- 2013-02-03 19:07:55 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_5_checker.zip