Friday, January 28, 2005

k-SAT => 3-SAT; intro to ML

Exercise 1 is available online, as are the ML examples.

6 Comments:

Blogger Johannes said...

My solution seems a bit unelegant, that is big, to me.
In how many lines of code can you solve this problem?

11:24 am  
Blogger Michael Fourman said...

I've now updated the page number references in the assignment.

6:57 am  
Blogger Rawle Prince said...

This comment has been removed by a blog administrator.

8:10 am  
Blogger Rawle Prince said...

I got it!

8:47 am  
Blogger Johannes said...

You do have two buffers, right?
If not:
Ctrl+x 2
Alt+x shell

9:06 am  
Blogger Rawle Prince said...

Sorry about that, I got it.

9:16 am  

Post a Comment

<< Home