5/29

This last week I’ve worked on making the visualization more user friendly.  Previously I was having an issue with the scroll bar I added to the clauses textbox.  Since I had also attached the graph to a Pan Zoom Control, when I was scrolling the text box I was also moving the graph!  After a little reading and some trial and error the problem has been fixed.

We discussed in one of our earlier meetings the possibility of adding a slider bar to indicate how the progress of the graph.  The user can still build the graph using the left and right arrows, however if the graph is very large, building the graph can take a long time. These large graphs are the main reason we decided to implement the slider bar.  The user is now able to use the slider bar to build the graph.  This is a very nice feature that has been implemented; however it needs a little bit of work yet.  There is some difficulty getting focus on the slider bar when the program is first launched. I will continue working on this issue throughout the week. We have a scheduled meeting this upcoming Thursday to discuss what the final visualization will include (since the deadline is only about a month away) and begin designing the poster for the poster session at Grace Hopper 2012.

May Updates

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