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]) in Trento, Italy, on June, 19, 2012: |
<br/> | <br/> | ||
'''We''' love context:<br/> | '''We''' love context:<br/> |
Revision as of 15:57, 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: