1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2021
On the Hierarchical Community Structure of Practical Boolean Formulas
Chunxiao Li, Jonathan Chung, Soham Mukherjee +5
Modern CDCL SAT solvers easily solve industrial instances containing tens of millions of variables and clauses, despite the theoretical intractability of the SAT problem. This gap…
cs.SD2020★ 1 cited
GANs & Reels: Creating Irish Music using a Generative Adversarial Network
Antonina Kolokolova, Mitchell Billard, Robert Bishop +5
In this paper we present a method for algorithmic melody generation using a generative adversarial network without recurrent components. Music generation has been successfully done…