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: