Anders B. Clausen

According to our database, Anders B. Clausen authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Code, Benchmarks and Data for "Depth-Optimal Quantum Layout Synthesis as SAT" paper at SAT25.

Anna Blume Jakobsen, Anders B. Clausen, Jaco C. van de Pol, Irfansha Shaik

Dataset, June, 2025

Depth-Optimal Quantum Layout Synthesis as SAT.

Anna Blume Jakobsen, Anders B. Clausen, Jaco van de Pol, Irfansha Shaik

Proceedings of the 28th International Conference on Theory and Applications of Satisfiability Testing, 2025