Venue: ICAPS 2020 Workshop HSDIP

Reviews:

final_score: rating: 8: Top 50% of accepted papers, clear accept
review_content: The paper presents an interesting improvement of the implementation of strong
stubborn sets. Since this supposed to be only an initial assessment, I didn't go over
every detail of the paper, but I think it is a solid paper. I noticed one typo
in the "Complexity Analysis" secion: O(|ops|). And what looks suspicious is
3.5 GB memory. Why 3.5 and not 4 or, better, 8 GB?
review_title: Initial assessment

Decision: Accept