Zobrazeno 1 - 10
of 99
pro vyhledávání: '"Svatoš, Martin"'
We study the problem of generating interesting integer sequences with a combinatorial interpretation. For this we introduce a two-step approach. In the first step, we generate first-order logic sentences which define some combinatorial objects, e.g.,
Externí odkaz:
http://arxiv.org/abs/2302.04606