This week we started our weekly meetings again. This semester we are planning on meeting twice weekly as a group. Our meetings this semester will be more discussion based in comparison to last semester. This semester we are starting the SAT side of our research and including Elena and Dr. Dwyer in more in our discussions. We have started comparing some of the techniques of both fields and are noticing that a lot of the same concepts exist in both fields. For example a BCP (Boolean Constraint Propagation) in SAT is similar to the domino effect in CSPs. For the first week we decided to explore SAT using a SAT solver, particularly miniSAT. As of right now, I have downloaded it and (finally) figured out how to compile it. I plan on looking at some benchmark problems and trying to understand how it works J.
No comments:
Post a Comment