boolean

  1. Home
  2. search page
  3. keyword

boolean

정의: Any kind of logic, function, expression, or theory based on the work of George Boole is considered Boolean.

📄 키워드 상세정보

핵심 연구 분야Cryptography
주요 연도2020년
주요 연관 키워드cryptography
좋아요 수0

키워드별 논문 목록 (6건)

PyQBF: A Python Framework for Solving Quantified Boolean Formulas
저자: Mark Peyrer , Maximilian Heisinger , Martina Seidl
키워드: #python #solvers #solver #formulas #boolean
파트: Software Development | 연도: 2024
Typed Unknown Values: A Step towards Solving the Problem of Missing Data Representation in Relational Databases
저자: S. D. Kuznetsov
키워드: #databases #sql #logic #boolean #typed
파트: Databases | 연도: 2024
Indistinguishability Obfuscation from LPN over $$\mathbb {F}_p$$ , DLIN, and PRGs in NC $$^0$$
저자: Huijia Lin , Amit Sahai , Aayush Jain
키워드: #encryption #theorem #polynomial #boolean #polynomially
파트: Analysis | 연도: 2022
Small Superset and Big Subset Obfuscation
저자: Steven D. Galbraith , Trey Li
키워드: #research #computational #integers #boolean #logarithm
파트: Analysis | 연도: 2021
A 2.1 KHz Zero-Knowledge Processor with BubbleRAM
저자: David Heath , Vladimir Kolesnikov
키워드: #cryptography #blockchain #processor #arithmetic #boolean
파트: Cryptography | 연도: 2020
Sampling from discrete distributions in combinational hardware with application to post-quantum cryptography
저자: Michael X Lyons , Kris Gaj
키워드: #sampling #boolean #sample #distributions #samples
파트: Cryptography | 연도: 2020