:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Villoria Gonzalez, Alejandro, Basold, Henning, Laarman, Alfons
Format:	Recurso digital
Language:
Published:	Zenodo 2025
Online Access:	https://doi.org/10.5281/zenodo.16027428
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Optimization and Synthesis of Quantum Circuits with Global Gates
by: Villoria, Alejandro, et al.
Published: (2025)

Enriching Diagrams with Algebraic Operations
by: Villoria, Alejandro, et al.
Published: (2023)

Quantum Physics using Weighted Model Counting
by: Ende, Dirck van den, et al.
Published: (2025)

Reducing Quantum Circuit Synthesis to #SAT
by: Zak, Dekel, et al.
Published: (2025)

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

GPU-Accelerated Quantum Simulation of Stabilizer Circuits
by: Osama, Muhammad, et al.
Published: (2026)

Quantum Graph-State Synthesis with SAT
by: Brand, Sebastiaan, et al.
Published: (2023)

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

Uniformity within Parameterized Circuit Classes
by: Hegeman, Steef, et al.
Published: (2025)

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing
by: Brand, Sebastiaan, et al.
Published: (2025)

A Knowledge Compilation Map for Quantum Information
by: Vinkhuijzen, Lieuwe, et al.
Published: (2024)

Quantum Algorithms for Magic Square Diophantine Equations
by: Thanos, Dimitrios, et al.
Published: (2026)

Efficient Implementation of LIMDDs for Quantum Circuit Simulation and Verification
by: Vinkhuijzen, Lieuwe, et al.
Published: (2025)

Search-Driven Clause Learning for Product-State Quantum $k$-SAT (PRODSAT-QSAT)
by: González-Castillo, Samuel, et al.
Published: (2026)

Trade-offs between classical and quantum space using spooky pebbling
by: Quist, Arend-Jan, et al.
Published: (2024)

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

Advancing Quantum Computing with Formal Methods
by: Quist, Arend-Jan, et al.
Published: (2024)

Quokka#: Quantum Computing with #SAT
by: Mei, Jingyi, et al.
Published: (2026)

Exact quantum decision diagrams with scaling guarantees for Clifford+$T$ circuits and beyond
by: Quist, Arend-Jan, et al.
Published: (2026)

An Expressive Coalgebraic Modal Logic for Cellular Automata
by: Basold, Henning, et al.
Published: (2025)

Finitely Presentable Higher-Dimensional Automata and the Irrationality of Process Replication
by: Basold, Henning, et al.
Published: (2023)

The Directed Van Kampen Theorem in Lean
by: Basold, Henning, et al.
Published: (2023)

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
by: Huang, Wei-Jia, et al.
Published: (2026)

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

The Compilability Thresholds of 2-CNF to OBDD
by: de Colnet, Alexis, et al.
Published: (2026)

Compact Parallel Hash Tables on the GPU
by: Hegeman, Steef, et al.
Published: (2024)

Separation Logic of Generic Resources via Sheafeology
by: van Starkenburg, Berend, et al.
Published: (2025)

Central Limits via Dilated Categories
by: Basold, Henning, et al.
Published: (2026)

Numerical Errors in Quantitative System Analysis With Decision Diagrams
by: Brand, Sebastiaan, et al.
Published: (2025)

El papel de la Administración pública en la generación de calidad democrática
by: Manuel Villoria
Published: (2016)

La remunicipalización de la gestión del agua en España: barreras legales frente a narrativas exitosas
by: Manuel Villoria
Published: (2020)

La corrupción en España (2004-2010): datos, percepción y efectos
by: Manuel Villoria
Published: (2012)

Ética postconvencional e instituciones en el servicio público
by: Manuel Villoria
Published: (2007)

Leadership in public management: Some theoretical and methodological considerations
by: Manuel Villoria
Published: (2011)

¿Más libertad o más felicidad? El buen gobierno del siglo XXI
by: Manuel Villoria
Published: (2011)

Conflictos de valores, límites cognitivos y malas prácticas organizativas como riesgos para la utilidad de los códigos éticos en la Administración pública
by: Manuel Villoria
Published: (2024)

Los modelos de gobierno electrónico y sus fases de desarrollo: Un análisis desde la teoría política
by: Manuel Villoria
Published: (2013)

La infraestructura burocrática importa: el caso de la lucha contra el crimen organizado en México
by: Manuel Villoria
Published: (2010)

Gate Optimization of NEQR Quantum Circuits via PPRM Transformation
by: Iranmanesh, Shahab, et al.
Published: (2024)

Global Optimization for Parametrized Quantum Circuits
by: Sakos, Iosif, et al.
Published: (2026)