Card-Based Protocols for Any Boolean Function.
Takuya NishidaYu-ichi HayashiTakaaki MizukiHideaki SonePublished in: TAMC (2015)
Keyphrases
- boolean functions
- uniform distribution
- relevant variables
- smart card
- functional properties
- low cost
- bi decomposition
- read once formulas
- functional decomposition
- truth table
- database systems
- disjunctive normal form
- stack filters
- membership queries
- dnf formulas
- binary decision diagrams
- multi valued
- monotone boolean functions