k-SAT => 3-SAT; intro to ML
Exercise 1 is available online, as are the ML examples.
posted by Michael Fourman at 10:00
Friday, January 28, 2005
Contributors
Links
Previous Posts
- Binary Decision Diagrams/SAT Phase Transition
- CNF: Davis Putnam and variations
- Propositional Logic Review
- First Lecture Today!
- Subscribe to the Atom Feed
Propositional Methods is an MSc course given at the University of Edinburgh
1 Comments:
I've now updated the page number references in the assignment.
Post a Comment
<< Home