Difference between revisions of "User:Luigi.scarso/knuth"
Jump to navigation
Jump to search
Luigi.scarso (talk | contribs) |
Luigi.scarso (talk | contribs) |
||
Line 2: | Line 2: | ||
[http://sat2012.fbk.eu/node/34 SAT]: | [http://sat2012.fbk.eu/node/34 SAT]: | ||
<br/> | <br/> | ||
− | + | <bf>We</bf> love context:<br/> | |
[[File:me_don_and_mojca.jpg]] | [[File:me_don_and_mojca.jpg]] | ||
Thanks for listening: <br/> | Thanks for listening: <br/> | ||
[[File:thanks_for_listening.jpg]] | [[File:thanks_for_listening.jpg]] |
Revision as of 15:50, 19 June 2012
From 15th International conference of Theory and Application of Satisfiability Testing
SAT:
<bf>We</bf> love context: