Revision history for entry Bacchus, Fahiem; Walsh, Toby (2005). "Theory and Applications of Satisfiability Testing: 8th International Conference, Sat 2005, St Andrews, Uk, June 19-23, 2005: Proceedings" [BACTAA]

NB: for privacy reasons, few details are provided in public revision histories.
2014-03-17T10:05:03updateSystem / admin update -
2014-03-16T03:01:58updateSystem / admin update -
2011-06-02T12:23:36updateSystem / admin update -
2011-06-02T12:23:36addSystem / admin update -