patrick
/
plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Labels Milestones

Extend background on planning strategies
task
#40 by patrick was closed 2018-01-24 15:07:10 +01:00 Extended Paper for TPLP Journal 0001-01-01
Check solution correctness
benchmarks
task
#39 by patrick was closed 2018-01-24 15:07:10 +01:00 Extended Paper for TPLP Journal 0001-01-01
Proofread paper
aesthetic
task
#36 by patrick was closed 2018-01-24 15:07:10 +01:00 Extended Paper for TPLP Journal 0001-01-01
Tweak experiment tables in paper visually
aesthetic
#37 by patrick was closed 2017-12-15 17:30:59 +01:00 Extended Paper for TPLP Journal 4 / 4 0001-01-01
Investigate performance differences between Madagascar and our planner
task
2
#38 by patrick was closed 2017-12-13 00:32:40 +01:00 Extended Paper for TPLP Journal 0001-01-01
Add table for ASP planning benchmark results to the paper
aesthetic
benchmarks
task
#28 by patrick was closed 2017-12-13 00:32:00 +01:00 Extended Paper for TPLP Journal 0001-01-01
Add tables for PDDL benchmarks to the paper
aesthetic
benchmarks
task
#29 by patrick was closed 2017-12-08 17:18:15 +01:00 Extended Paper for TPLP Journal 0001-01-01
Review plasp section
task
#35 by patrick was closed 2017-12-08 17:18:10 +01:00 Extended Paper for TPLP Journal 0001-01-01
Add examples to plasp paper section
task
1
#32 by patrick was closed 2017-12-07 13:56:13 +01:00 Extended Paper for TPLP Journal 0001-01-01
Rewrite plasp section of the paper from ASP perspective
task
1
#31 by patrick was closed 2017-12-07 13:55:48 +01:00 Extended Paper for TPLP Journal 0001-01-01
Replicate Jussi Rintanen’s benchmark set
benchmarks
task
#16 by patrick was closed 2017-12-07 13:55:35 +01:00 Extended Paper for TPLP Journal 0001-01-01
Planner bug: Memouts even with specific memory limit
benchmarks
bug
1
#34 by patrick was closed 2017-12-02 03:18:58 +01:00 Extended Paper for TPLP Journal 0001-01-01
Planner bug: Out-of-range index access to planning queue
benchmarks
bug
1
#33 by patrick was closed 2017-12-01 14:28:13 +01:00 Extended Paper for TPLP Journal 0001-01-01
Address Torsten’s feedback in plasp’s system section of the paper
task
1
#30 by patrick was closed 2017-11-29 20:03:45 +01:00 Extended Paper for TPLP Journal 0001-01-01
Handle memouts more appropriately
benchmarks
bug
task
1
#27 by patrick was closed 2017-11-29 19:54:28 +01:00 Extended Paper for TPLP Journal 0001-01-01
Benchmark generate-and-check planning
benchmarks
task
#26 by patrick was closed 2017-11-27 20:50:24 +01:00 Extended Paper for TPLP Journal 0001-01-01
Write paper section about plasp’s implementation details
documentation
task
#9 by patrick was closed 2017-11-27 14:33:24 +01:00 Extended Paper for TPLP Journal 0001-01-01
Repeat the LPNMR paper benchmarks
benchmarks
task
#18 by patrick was closed 2017-11-27 01:26:40 +01:00 Extended Paper for TPLP Journal 0 / 2 0001-01-01
Rename user-defined variables consistently
task
#2 by patrick was closed 2017-11-25 13:41:07 +01:00 plasp 3.1.1 0001-01-01
Improve planning benchmark tool
benchmarks
enhancement
task
#17 by patrick was closed 2017-11-24 01:09:43 +01:00 Extended Paper for TPLP Journal 0001-01-01