Mohammed E. Djeridane

Identifiers

• name variant Mohammed E. Djeridane 0.60 · backfill

Papers (1)

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

Mentions

• 2409.03917 #2 · arxiv_oai · confidence 0.70 Mohammed E. Djeridane

Frequent Coauthors

• Abhoy Kole 1 shared papers
• Kamalika Datta 1 shared papers
• Lennart Weingarten 1 shared papers
• Rolf Drechsler 1 shared papers