Posts tagged SAT


There are 1 posts tagged with SAT.

If you are interested in "SAT" why not subscribe to the Atom feed or RSS feed?

FP-Syd, August 2013

The August 2013 meeting of the FP-Syd functional programming group in Sydney heard talks about simulation testing, functional languages targetting Javascript, and SAT solving.