Revision history of "Termination Competition Problem Selection Algorithm"

From Termination-Portal.org
Jump to navigationJump to search

Diff selection: Mark the radio boxes 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.

  • curprev 09: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"