22k citations
- University of KaiserslauternDE125 papers
- Saarland UniversityDE41 papers
- Rheinland-Pfälzische Technische Universität Kaiserslautern-LandauDE25 papers
- University of Koblenz and LandauDE25 papers
- Technische Universität BerlinDE24 papers
- University of BremenDE23 papers
- Center for Scalable Data Analytics and Artificial IntelligenceDE16 papers
- Technische Universität DarmstadtDE11 papers
- Hamm-Lippstadt University of Applied SciencesDE9 papers
- Ludwig-Maximilians-Universität MünchenDE9 papers
- Technical University of MunichDE9 papers
- ETH ZurichCH8 papers
Showing 2024 · quant-phShow all
3 papers · 2 filters
quant-ph2024★ 1 cited
qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking
Abhoy Kole, Mohammed E. Djeridane, Lennart Weingarten +2
The use of Boolean Satisfiability (SAT) solver for hardware verification incurs exponential run-time in several instances. In this work we have proposed an efficient quantum SAT (q…
quant-ph2024★ 5 cited
Quantum Annealing-Based Algorithm for Efficient Coalition Formation Among LEO Satellites
Supreeth Mysore Venkatesh, Antonio Macaluso, Marlon Nuske +2
The increasing number of Low Earth Orbit (LEO) satellites, driven by lower manufacturing and launch costs, is proving invaluable for Earth observation missions and low-latency inte…
quant-ph2024★ 1 cited
Visualizing Quantum States: A Pilot Study on Problem Solving in Quantum Information Science Education
Jonas Bley, Eva Rexigel, Alda Arias +8
In the rapidly evolving interdisciplinary field of quantum information science and technology, a major obstacle is the need to understand advanced mathematics to solve complex prob…