User:Luigi.scarso/knuth
< User:Luigi.scarso
Jump to navigation
Jump to search
Revision as of 15:57, 19 June 2012 by Luigi.scarso (talk | contribs)
From 15th International conference of Theory and Application of Satisfiability Testing
(SAT) in Trento, Italy, on June, 19, 2012:
We love context: