DeepAI
Log In Sign Up

Self-Learned Formula Synthesis in Set Theory

12/03/2019
by   Chad E. Brown, et al.
0

A reinforcement learning algorithm accomplishes the task of synthesizing a set-theoretical formula that evaluates to given truth values for given assignments.

READ FULL TEXT

page 1

page 2

page 3

03/30/2018

Generation of complete test sets

We use testing to check if a combinational circuit N always evaluates to...
10/28/2011

Backdoors to Satisfaction

A backdoor set is a set of variables of a propositional formula such tha...
08/16/2018

Complete Test Sets And Their Approximations

We use testing to check if a combinational circuit N always evaluates to...
01/01/2019

Algorithmically Efficient Syntactic Characterization of Possibility Domains

We call domain any arbitrary subset of a Cartesian power of the set {0,1...
05/20/2020

Information Acquisition Under Resource Limitations in a Noisy Environment

We introduce a theoretical model of information acquisition under resour...
12/07/2020

Disentangling a Deep Learned Volume Formula

We present a simple phenomenological formula which approximates the hype...