C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis.
Preey Shah
Aman Bansal
S. Akshay
Supratik Chakraborty
Published in:
LICS (2021)
Keyphrases
</>
normal form
multi valued
database design
boolean expressions
relational databases
functional dependencies
nested relations
relational algebra
disjunctive normal form
real valued
information content
decision rules
first order logic
boolean functions
prime implicates