Published June 6, 2025 | Version v1
Software Open

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

Description

This submission contains three parts:

  1. Code: Code for depth optimization and noise simulation in the SAT-2025 paper.
  2. Benchmarks: All the benchmarks used in the experiments for the paper.
  3. Data: The data for all experiments and plots.

The README.md file in the folder presents further details.

Files

LayoutSynthesis_SAT25.zip

Files (716.6 kB)

Name Size Download all
md5:42e4bb28b0fd000a6f98235aa4639950
716.6 kB Preview Download

Additional details

Software

Repository URL
https://github.com/anbclausen/quills
Programming language
Python