( en | de | ru )

 

Disambiguierung von "Bünz, Benedikt"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Learning a SAT Solver from Single-Bit Supervision.

, , , , , und . CoRR, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Gerhard Bünz

Enno Bünz

Patricia Bünz

Fred Bünz

Claudia Bünz

 

Weitere Publikationen von Autoren mit dem selben Namen

Transparent SNARKs from DARK Compilers., , und . EUROCRYPT (1), Volume 12105 von Lecture Notes in Computer Science, Seite 677-706. Springer, (2020)HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates., , , und . IACR Cryptol. ePrint Arch., (2022)VeriZexe: Decentralized Private Computation with Universal Setup., , , , , , und . USENIX Security Symposium, Seite 4445-4462. USENIX Association, (2023)HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates., , , und . EUROCRYPT (2), Volume 14005 von Lecture Notes in Computer Science, Seite 499-530. Springer, (2023)FlyClient: Super-Light Clients for Cryptocurrencies., , , und . SP, Seite 928-946. IEEE, (2020)Proofs for Inner Pairing Products and Applications., , , , und . ASIACRYPT (3), Volume 13092 von Lecture Notes in Computer Science, Seite 65-97. Springer, (2021)Designing Core-selecting Payment Rules: A Computational Search Approach., , und . EC, Seite 109. ACM, (2018)Proofs for Deep Thought: Accumulation for large memories and deterministic computations., und . IACR Cryptol. ePrint Arch., (2024)Threshold Signatures from Inner Product Argument: Succinct, Weighted, and Multi-threshold., , , , , und . CCS, Seite 356-370. ACM, (2023)Computing Bayes-Nash Equilibria in Combinatorial Auctions with Continuous Value and Action Spaces., , , und . IJCAI, Seite 119-127. ijcai.org, (2017)