From Wiki
Jump to navigation Jump to search

From 15th International conference of Theory and Application of Satisfiability Testing (SAT) in Trento, Italy, on June, 19, 2012:
We love context:
Me don and mojca.jpg

I'm showing the papers on MFLua but I'm confused as much as the photo:
DSC02039 light.JPG

Thanks for listening:
Thanks for listening.jpg