We had our closing semester meeting during
the first week of May. During that
meeting we delegated tasks which would be accomplished over the summer. For the visualization, Maggie and I will add
in the conflict clauses. I have begun
implementing this portion. As of now,
when a dead end is reached in the visualization if you hover over that node a
box shows up alongside the node listing the propagations and the conflict
clause added. We also discussed the possibility
of displaying the implication graph for each the dead ends. I have not implanted that functionality yet
but I hope to have that completed for the final demo. At our meeting in early May we discussed
adding a text box that shows all of the currently unsatisfied. This feature will basically let the user
visualize the impact of each assignment.
I currently have this implemented in my visualization. I separated the unsatisfied original clauses
from the unsatisfied learnt clauses. At
one point we also discussed have a text box for each node with statistics such
as number of unsatisfied clauses, number of satisfied clauses, etc. I will be discussing this with Dr. Dwyer at
our meeting whether or not we want to implement this.
In addition to the visualization, I have
been continuing my reading for the conflict clause learning.
Our visualization poster was accepted to the
general poster session at Grace Hopper J,
so we will begin authoring that probably within a week.
-Mary
No comments:
Post a Comment