We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Random Formula Generators

Abstract: 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 of logical constants (with specified arities). The first generator returns formulae of exactly the given depth, using all or some of the propositional letters. The second does the same but samples up-to the given depth. The third generator outputs formulae with exactly the desired depth and all the atomics in the set. To make the generators uniform (i.e. to make them return every formula in their space with the same probability), we will prove various cardinality results about those spaces.
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
Cite as: arXiv:2110.09228 [cs.LO]
  (or arXiv:2110.09228v1 [cs.LO] for this version)

Submission history

From: Joaquín Toranzo Calderón [view email]
[v1] Fri, 8 Oct 2021 18:19:57 GMT (70kb,D)

Link back to: arXiv, form interface, contact.