Encoding Arguments

Morin, P; Mulzer, W; Reddad, T

Mulzer, W (reprint author), Free Univ Berlin, Inst Informat, Takustr 9, D-14195 Berlin, Germany.

ACM COMPUTING SURVEYS, 2017; 50 (3):

Abstract

Many proofs in discrete mathematics and theoretical computer science are based on the probabilistic method. To prove the existence of a good object, w......

Full Text Link