Revision history for entry Krajíček, Jan: Structured Pigeonhole Principle, Search Problems and Hard Tauto.. [JANSPP]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-05-05T16:22:01updateSystem / admin update
2017-02-07T19:03:50updateSystem / admin update
2017-01-21T21:52:54update
2017-01-21T05:54:51updateSystem / admin update
2016-06-30T12:27:53updateSystem / admin update
2015-02-05T07:15:49updateSystem / admin update
2014-03-20T13:10:33updateSystem / admin update
2013-11-22T12:11:37updateSystem / admin update
2013-11-22T12:11:33updateSystem / admin update
2013-11-02T22:44:41updateSystem / admin update
2010-10-28T13:39:29updateSystem / admin update
2010-10-02T02:25:02updateSystem / admin update
2010-09-23T17:30:27addSystem / admin update