Changes

User:Luigi.scarso/knuth (view source)

39 bytes added , 15:57, 19 June 2012

no edit summary

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

([http://sat2012.fbk.eu/node/34 SAT]) in Trento, Italy, on June, 19, 2012:

<br/>

'''We''' love context:<br/>

685

edits