Issue809

Title document that merge-and-shrink heuristic is not always admissible
Priority feature Status resolved
Superseder Nosy List jendrik, malte, silvan
Assigned To silvan Keywords
Optional summary

Created on 2018-07-27.14:45:45 by jendrik, last changed by silvan.

Messages
msg7390 (view) Author: silvan Date: 2018-09-12.11:28:15
Merged.
msg7388 (view) Author: malte Date: 2018-09-12.11:25:42
I had a look, looks good to me.
msg7379 (view) Author: silvan Date: 2018-09-11.18:43:56
"do would" -> "would you"
msg7377 (view) Author: silvan Date: 2018-09-11.18:42:49
Malte, do would also like to have a look at it?
msg7366 (view) Author: jendrik Date: 2018-09-11.12:18:58
Looks good to me.
msg7360 (view) Author: silvan Date: 2018-09-11.09:51:44
I prepared a pull-request:
https://bitbucket.org/SilvanS/fd-dev/pull-requests/38/issue809/diff
msg7331 (view) Author: jendrik Date: 2018-07-27.14:45:45
When using prune_unreachable_states=true, merge-and-shrink is only forward-
admissible, not admissible.
History
Date User Action Args
2018-09-12 11:28:15silvansetstatus: reviewing -> resolved
messages: + msg7390
2018-09-12 11:25:42maltesetmessages: + msg7388
2018-09-11 18:43:56silvansetmessages: + msg7379
2018-09-11 18:42:49silvansetmessages: + msg7377
2018-09-11 12:18:58jendriksetmessages: + msg7366
2018-09-11 09:51:44silvansetstatus: unread -> reviewing
assignedto: silvan
messages: + msg7360
2018-07-27 14:45:45jendrikcreate