Just to follow up on this, Edward himself is giving a tech talk on Tuesday, on SAT solving: * http://www.galois.com/blog/2010/08/19/tech-talk-abcbridge-functio

Just to follow up on this, Edward himself is giving a tech talk on Tuesday, on SAT solving: * http://www.galois.com/blog/2010/08/19/tech-talk-abcbridge-functional-interfaces-for-aigs-and-sat-solving/ http://www.galois.com/blog/2010/08/19/tech-talk-abcbridge-fu... Also, videos of other tech talks at Galois are up on vimeo: http://vimeo.com/channels/galois http://vimeo.com/channels/galois Edward's been an amazing intern. He'll do great things.