Alfons Laarman
- Simulating Quantum Circuits by Model Counting
2024/03/11 by Jingyi Mei, Marcello Bonsangue, Mei, Jingyi +3 · 5 citations
Computer Science · Physics and Astronomy · #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms #Model Reduction and Neural Networks #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph)
- Parallel Recursive State Compression for Free
2011/04/15 by Alfons Laarman, Laarman, Alfons, Jaco van de Pol +3 · 1 citation
Computer Science · #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Formal Methods in Verification #Parallel Computing and Optimization Techniques #Software Testing and Debugging Techniques
- Fast equivalence checking of quantum circuits of Clifford gates
2023/08/02 by Dimitrios Thanos, Thanos, Dimitrios, Tim Coopmans +3 · 3 citations
Computer Science · Engineering · #Quantum Computing Algorithms and Architecture #Low-power high-performance VLSI design #Numerical Methods and Algorithms
- Enriching Diagrams with Algebraic Operations
2023/10/17 by Alejandro Villoria, Villoria, Alejandro, Henning Basold +3 · 1 citation
Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Quantum Physics (quant-ph) #Semantic Web and Ontologies
- Compact Parallel Hash Tables on the GPU
2024/06/13 by Steef Hegeman, Daan Wöltgens, Hegeman, Steef +5 · 1 citation
Computer Science · #Algorithms and Data Compression #Graph Theory and Algorithms #Distributed and Parallel Computing Systems