Lecture 1:

Systems Biology
Satisfiability in Systems Biology
Satisfiability in other fields
Using Good Separation of Concerns to program Satisfiability
- Standard Satisfiability
- One-in-Three Satisfiability

Use Class Dictionaries and DJ Library
DJ Library may be used for hw 1

Theory of P-optimal algorithms explained in terms of
One-inThree Satisfiability 

MinMax problem and the reduction steps
to get the magic number