research
∙
04/19/2023
Limits of CDCL Learning via Merge Resolution
In their seminal work, Atserias et al. and independently Pipatsrisawat a...
share
research
∙
12/23/2021
Learning with distributional inverters
We generalize the "indirect learning" technique of Furst et. al., 1991 t...
research
∙
03/27/2021
On the Hierarchical Community Structure of Practical Boolean Formulas
Modern CDCL SAT solvers easily solve industrial instances containing ten...
research
∙
10/29/2020
GANs Reels: Creating Irish Music using a Generative Adversarial Network
In this paper we present a method for algorithmic melody generation usin...
research
∙
10/09/2017