k-SAT => 3-SAT; intro to ML
Exercise 1 is available online, as are the ML examples.
Friday, January 28, 2005
About Me
-
- Name:Michael Fourman
- Location:Edinburgh, Scotland, United Kingdom
I am Head of the School of Informatics, and Professor of Computer Systems, at The University of Edinburgh.
My research interests are centred around applications of logics in Computer Science, Artificial Intelligence, and Cognitive Science.
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
6 Comments:
My solution seems a bit unelegant, that is big, to me.
In how many lines of code can you solve this problem?
I've now updated the page number references in the assignment.
This post has been removed by the author.
I got it!
You do have two buffers, right?
If not:
Ctrl+x 2
Alt+x shell
Sorry about that, I got it.
Post a Comment
<< Home