Changes

User:Luigi.scarso/knuth (view source)

88 bytes added , 15:49, 19 June 2012

no edit summary

From 15th International conference of Theory and Application of Satisfiability Testing

[http://sat2012.fbk.eu/node/34 SAT]:

<br/>

*We* love context:<br/>

[[File:me_don_and_mojca.jpg]]

Thanks for listening: <br/>

[[File:thanks_for_listening.jpg]]

685

edits