Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Calderon, Joaquin S. Toranzo"'
In this article, we provide three generators of propositional formulae for arbitrary languages, which uniformly sample three different formulae spaces. They take the same three parameters as input, namely, a desired depth, a set of atomics and a set
Externí odkaz:
http://arxiv.org/abs/2110.09228
