Revision history for entry Cowen, Robert; Wyatt, Katherine (1993). "BREAKUP: a preprocessing algorithm for satisfiability testing of CNF formulas" [ROBBAP-3]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2015-02-04T18:46:17updateSystem / admin update -
2013-12-01T14:38:59updateSystem / admin update -
2013-12-01T14:38:51updateSystem / admin update -
2013-11-22T08:40:36updateSystem / admin update -
2013-11-04T04:38:14updateSystem / admin update -
2010-10-28T08:44:18updateSystem / admin update -
2010-10-01T14:46:09updateSystem / admin update -
2010-09-23T12:08:56addSystem / admin update -