Generic transformations of predicate encodings: constructions and applications (Q1675716)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generic transformations of predicate encodings: constructions and applications |
scientific article |
Statements
Generic transformations of predicate encodings: constructions and applications (English)
0 references
3 November 2017
0 references
predicate encodings
0 references
privacy
0 references
Boolean formulae
0 references
arithmetic span programs
0 references
generic optimizations
0 references
pair encodings
0 references
