Changes

Jump to navigation Jump to search

User:Luigi.scarso/knuth (view source)

Revision as of 15:57, 19 June 2012

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/>
Retrieved from "https://wiki.contextgarden.net/Special:MobileDiff/19721"

Navigation menu