Lennart Weingarten

Identifiers

• name variant Lennart Weingarten 0.60 · backfill

Papers (1)

1. qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking quant-ph · 2024 · author #3

Mentions

• 2409.03917 #3 · arxiv_oai · confidence 0.70 Lennart Weingarten

Frequent Coauthors

• Abhoy Kole 1 shared papers
• Kamalika Datta 1 shared papers
• Mohammed E. Djeridane 1 shared papers
• Rolf Drechsler 1 shared papers