Cover Image

A Distributed Framework for Compiling and Reasoning with d-DNNF

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Zhenghang, Xu
Format:	Recurso digital
Published:	Zenodo 2026
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs
by: Sundermann, Chico, et al.
Published: (2025)

Structured d-DNNF Is Not Closed Under Negation
by: Vinall-Smeeth, Harry
Published: (2024)

Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness
by: Derkinderen, Vincent
Published: (2024)

#CFG and #DNNF admit FPRAS
by: Meel, Kuldeep S., et al.
Published: (2024)

On complexity of restricted fragments of Decision DNNF
by: Calí, Andrea, et al.
Published: (2025)

Scalable Precise Computation of Shannon Entropy
by: Lai, Yong, et al.
Published: (2025)

DC-MBQC: A Distributed Compilation Framework for Measurement-Based Quantum Computing
by: Xue, Yecheng, et al.
Published: (2026)

DeepCompile: A Compiler-Driven Approach to Optimizing Distributed Deep Learning Training
by: Tanaka, Masahiro, et al.
Published: (2025)

Optimized Compilation for Distributed Quantum Computing
by: Bandini, Michele, et al.
Published: (2026)

Hydraulic Response to Sea Level Rise in a Coastal Aquifer Extending under the Sea with a Cut‐off Wall
by: Sihai Wang, et al.
Published: (2025)

The MQT Compiler Collection: A Blueprint for a Future-Proof Quantum-Classical Compilation Framework
by: Burgholzer, Lukas, et al.
Published: (2026)

Does News Media Affect Firm Innovation in Emerging Markets? Evidence from China
by: Kun Tracy Wang, et al.
Published: (2024)

ChatEarthNet: A Global-Scale Image-Text Dataset Empowering Vision-Language Geo-Foundation Models
by: Yuan, Zhenghang, et al.
Published: (2024)

Cyclotron: Compilation of Recurrences to Distributed and Systolic Architectures
by: Sundram, Shiv, et al.
Published: (2025)

ANT-ACE: an FHE Compiler Framework
by: Li
Published: (2024)

ACPO: AI-Enabled Compiler Framework
by: Ashouri, Amir H., et al.
Published: (2023)

ECCO: Evidence-Driven Causal Reasoning for Compiler Optimization
by: Pan, Haolin, et al.
Published: (2026)

ATHENA: A Compiler For Optimized Scheduling In Distributed Quantum Computers
by: Yun, Won Joon, et al.
Published: (2026)

BISTATS: Using dBASEIII to Compile Library Instruction Statistics.
by: Wells, Margaret R., et al.
Published: (1987)

QLLVM: A Scalable Quantum-Classical Co-Compilation Framework based on LLVM
by: Zhu, Yu, et al.
Published: (2026)

A Planning Compilation to Reason about Goal Achievement at Planning Time
by: Pozanco, Alberto, et al.
Published: (2025)

NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures
by: Li, Shangkun, et al.
Published: (2026)

NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures
by: Li, Shangkun, et al.
Published: (2026)

RRSIS: Referring Remote Sensing Image Segmentation
by: Yuan, Zhenghang, et al.
Published: (2023)

MGC: A Compiler Framework Exploiting Compositional Blindness in Aligned LLMs for Malware Generation
by: Yan, Lu, et al.
Published: (2025)

Compiled planktonic d18O data from PlioVAR
by: McClymont, Erin L, et al.
Published: (2023)

A Compilation Framework for Quantum Simulation of Non-unitary Dynamics
by: Huang, Qifan, et al.
Published: (2026)

Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures
by: Kırmemiş, Oğuzcan, et al.
Published: (2024)

LAPIS: A Performance Portable, High Productivity Compiler Framework
by: Kelley, Brian, et al.
Published: (2025)

TPDE: A Fast Adaptable Compiler Back-End Framework
by: Schwarz, Tobias, et al.
Published: (2025)

Tetris: A Compilation Framework for VQA Applications in Quantum Computing
by: Jin, Yuwei, et al.
Published: (2023)

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
by: Izawa, Yusuke, et al.
Published: (2025)

Logical-to-Physical Compilation for Reducing Depth in Distributed Quantum Systems
by: de Ronde, Folkert, et al.
Published: (2026)

Quantum Hamlets: Distributed Compilation of Large Algorithmic Graph States
by: Micciche, Anthony, et al.
Published: (2026)

ECDQC: Efficient Compilation for Distributed Quantum Computing with Linear Layout
by: Liu, Kecheng, et al.
Published: (2024)

Compiler for Distributed Quantum Computing: a Reinforcement Learning Approach
by: Promponas, Panagiotis, et al.
Published: (2024)

Optimizing Compilation for Distributed Quantum Computing via Clustering and Annealing
by: Zhou, Ruilin, et al.
Published: (2025)

Efficient Gate Reordering for Distributed Quantum Compiling in Data Centers
by: Mengoni, Riccardo, et al.
Published: (2025)

LLM StructCore: Schema-Guided Reasoning Condensation and Deterministic Compilation
by: Zabolotnii, Serhii
Published: (2026)

Tableau-Based Framework for Efficient Logical Quantum Compilation
by: Wang, Meng, et al.
Published: (2025)