Jump to content

Termination Competition Problem Selection Algorithm: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

26 May 2014

  • curprev 09:4809:48, 26 May 2014 Albert talk contribs 1,552 bytes +1,552 Created page with "We will fix some number "c" with 0 < c < 1. This number indicates the percentage of problems to be taken from each family. So in principle, we would like to choose c * |F| pro..."
Retrieved from "http://termination-portal.org/wiki/Termination_Competition_Problem_Selection_Algorithm"