Difference between revisions of "User:Luigi.scarso/knuth"
Jump to navigation
Jump to search
Luigi.scarso (talk | contribs) |
Luigi.scarso (talk | contribs) |
||
| (3 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/> | Thanks for listening: <br/> | ||
[[File:thanks_for_listening.jpg]] | [[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:
Thanks for listening:
