Cover Image

Finding Photonics Circuits via $δ$-weakening SMT

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lewis, Marco, Valiron, Benoît
Format:	Preprint
Published:	2025
Subjects:	Quantum Physics Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Many-Worlds Calculus
by: Chardonnet, Kostia, et al.
Published: (2022)

Automated Verification of Silq Quantum Programs using SMT Solvers
by: Lewis, Marco, et al.
Published: (2024)

On Quantum Programming Languages
by: Valiron, Benoît
Published: (2024)

Verification of Quantum Circuits through Discrete-Time Barrier Certificates
by: Lewis, Marco, et al.
Published: (2024)

A Complete Graphical Language for Linear Optical Circuits with Finite-Photon-Number Sources and Detectors
by: Heurtel, Nicolas
Published: (2024)

A Curry-Howard Correspondence for Linear, Reversible Computation
by: Chardonnet, Kostia, et al.
Published: (2023)

A Rewriting Theory for Quantum Lambda-Calculus
by: Faggian, Claudia, et al.
Published: (2024)

Semantics for a Turing-complete Reversible Programming Language with Inductive Types
by: Chardonnet, Kostia, et al.
Published: (2023)

Formal Verification of Quantum Programs: Theory, Tools and Challenges
by: Lewis, Marco, et al.
Published: (2021)

Non-deterministic, probabilistic, and quantum effects through the lens of event structures (Technical report)
by: Fernandes, Vítor, et al.
Published: (2024)

A Complete Equational Presentation of Qudit Circuits via Polycontrolled PROPs
by: Blake, Colin
Published: (2026)

Enriched Categories for Parameterized Circuit Semantics
by: Wesley, Scott
Published: (2025)

Simulating Quantum Circuits by Model Counting
by: Mei, Jingyi, et al.
Published: (2024)

Simpler Presentations for Many Fragments of Quantum Circuits
by: Blake, Colin
Published: (2026)

The Tensor-Plus Calculus
by: Chardonnet, Kostia, et al.
Published: (2025)

A Complete and Natural Rule Set for Multi-Qutrit Clifford Circuits
by: Li, Sarah Meng, et al.
Published: (2025)

A Complete Equational Theory for Real-Clifford+CH Quantum Circuits
by: Clément, Alexandre
Published: (2026)

Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits
by: Govindankutty, Arun, et al.
Published: (2026)

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach
by: Hu, Siwei, et al.
Published: (2025)

Representing Sugihara monoids via weakening relations
by: Craig, Andrew, et al.
Published: (2023)

Quantum Circuits Are Just a Phase
by: Heunen, Chris, et al.
Published: (2025)

Verification of Recursively Defined Quantum Circuits
by: Ying, Mingsheng, et al.
Published: (2024)

Lean-SMT: An SMT tactic for discharging proof goals in Lean
by: Mohamed, Abdalrhman, et al.
Published: (2025)

Portus: Linking Alloy with SMT-based Finite Model Finding
by: Dancy, Ryan, et al.
Published: (2024)

LLM2SMT: Building an SMT Solver with Zero Human-Written Code
by: Janota, Mikoláš, et al.
Published: (2026)

Towards SMT Solver Stability via Input Normalization
by: Amrollahi, Daneshvar, et al.
Published: (2024)

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
by: Yu, Nengkun, et al.
Published: (2025)

From Tensor Networks to Tractable Circuits, and back
by: Quist, Arend-Jan, et al.
Published: (2026)

Basic interactive algorithms: Preview
by: Gurevich, Yuri
Published: (2025)

Efficient Volume Computation for SMT Formulas
by: Shaw, Arijit, et al.
Published: (2025)

An SMT Theory for n-Indexed Sequences
by: Hara, Hichem Rami Ait El, et al.
Published: (2024)

An SMT-LIB Theory of Finite Fields
by: Hader, Thomas, et al.
Published: (2024)

Hint-Based SMT Proof Reconstruction
by: Clune, Joshua, et al.
Published: (2026)

On SMT Theory Design: The Case of Sequences
by: Hara, Hichem Rami Ait El, et al.
Published: (2024)

Quadratic Sums-of-Powers for Fixed-Parameter Tractable Quantum-Circuit Simulation
by: de Colnet, Alexis, et al.
Published: (2026)

Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages
by: Colledan, Andrea, et al.
Published: (2024)

Number theory combination: natural density and SMT
by: Toledo, Guilherme V., et al.
Published: (2025)

Integer Reasoning Modulo Different Constants in SMT
by: Pertseva, Elizaveta, et al.
Published: (2025)

Invariant Checking for SMT-based Systems with Quantifiers
by: Redondi, Gianluca, et al.
Published: (2024)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
by: Bartholomew, Michael, et al.
Published: (2025)