GLUKHOVSKY LEONID

Time-memory tradeoff control in counterexample production