Add criticality to the tree search #210

Open
ujh opened this Issue Nov 8, 2015 · 0 comments

Projects

None yet

1 participant

@ujh
Owner
ujh commented Nov 8, 2015 edited

Add criticality the the tree selection algorithm as described in the master's thesis of Petr Baudis and in this short presentation

@ujh ujh added the feature label Nov 8, 2015
@ujh ujh added this to the 0.4.0 milestone Nov 8, 2015
@ujh ujh modified the milestone: 0.3.3, 0.4.0 May 1, 2016
@ujh ujh added the 1 - Ready label May 2, 2016
@ujh ujh added 2 - Working <= 5 and removed 1 - Ready labels Dec 14, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment