Difference between revisions of "User:Luigi.scarso/knuth"
Jump to navigation
Jump to search
Luigi.scarso (talk | contribs) |
Luigi.scarso (talk | contribs) |
||
| 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]: |
<br/> | <br/> | ||
| + | *We* love context:<br/> | ||
[[File:me_don_and_mojca.jpg]] | [[File:me_don_and_mojca.jpg]] | ||
| + | |||
| + | Thanks for listening: <br/> | ||
| + | [[File:thanks_for_listening.jpg]] | ||
Revision as of 15:49, 19 June 2012
From 15th International conference of Theory and Application of Satisfiability Testing
SAT:
- We* love context:
Thanks for listening:
