Difference between revisions of "User:Luigi.scarso/knuth"
Jump to navigation
Jump to search
Luigi.scarso (talk | contribs) |
Luigi.scarso (talk | contribs) |
||
(5 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
From 15th International conference of Theory and Application of Satisfiability Testing | From 15th International conference of Theory and Application of Satisfiability Testing | ||
− | [http://sat2012.fbk.eu/node/34 SAT] | + | ([http://sat2012.fbk.eu/node/34 SAT]) in Trento, Italy, on June, 19, 2012: |
<br/> | <br/> | ||
+ | '''We''' love context:<br/> | ||
[[File:me_don_and_mojca.jpg]] | [[File:me_don_and_mojca.jpg]] | ||
+ | |||
+ | I'm showing the papers on MFLua but I'm confused as much as the photo:<br/> | ||
+ | [[File:DSC02039 light.JPG ]] | ||
+ | |||
+ | Thanks for listening: <br/> | ||
+ | [[File:thanks_for_listening.jpg]] |
Latest revision as of 18:31, 19 June 2012
From 15th International conference of Theory and Application of Satisfiability Testing
(SAT) in Trento, Italy, on June, 19, 2012:
We love context:
I'm showing the papers on MFLua but I'm confused as much as the photo: