Abstract:A central task in knowledge compilation is to compile a CNF-SAT instance into a succinct representation format that allows efficient operations such as testing satisfiability, counting, or enumerating all solutions. Useful representation formats studied in this area range from ordered binary decision diagrams (OBDDs) to circuits in decomposable negation normal form (DNNFs). While it is known that there exist CNF formulas that require exponential size representations, the situation is less well studied for other types of constraints than Boolean disjunctive clauses. The constraint satisfaction problem (CSP) is a powerful framework that generalizes CNF-SAT by allowing arbitrary sets of constraints over any finite domain. The main goal of our work is to understand for which type of constraints (also called the constraint language) it is possible to efficiently compute representations of polynomial size. We answer this question completely and prove two tight characterizations of efficiently compilable constraint languages, depending on whether target format is structured. We first identify the combinatorial property of ``strong blockwise decomposability'' and show that if a constraint language has this property, we can compute DNNF representations of linear size. For all other constraint languages we construct families of CSP-instances that provably require DNNFs of exponential size. For a subclass of ``strong uniformly blockwise decomposable'' constraint languages we obtain a similar dichotomy for structured DNNFs. In fact, strong (uniform) blockwise decomposability even allows efficient compilation into multi-valued analogs of OBDDs and FBDDs, respectively. Thus, we get complete characterizations for all knowledge compilation classes between O(B)DDs and DNNFs.

Compilation for QCSP

Meditations on Quantified Constraint Satisfaction

Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation

Quantum circuit compilation with quantum computers

XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems

A characterization of efficiently compilable constraint languages

Towards Application-Aware Quantum Circuit Compilation

QudCom: Towards Quantum Compilation for Qudit Systems

ISAAQ: Ising Machine Assisted Quantum Compiler

Quantum CISC Compilation by Optimal Control and Scalable Assembly of Complex Instruction Sets beyond Two-Qubit Gates

Compilation of algorithm-specific graph states for quantum circuits

XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems

Sparse Conic Reformulation of Structured QCQPs based on Copositive Optimization with Applications in Stochastic Optimization

Quantum Circuit Optimization and Transpilation via Parameterized Circuit Instantiation

Heuristics for Quantum Compiling with a Continuous Gate Set

Compiler Optimization for Quantum Computing Using Reinforcement Learning

Quantum compiling with a variational instruction set for accurate and fast quantum computing

Compilation for Dynamically Field-Programmable Qubit Arrays with Efficient and Provably Near-Optimal Scheduling

QCCS: A Formal Model to Enforce QoS Requirements in Service Composition.

ScaffCC: Scalable Compilation and Analysis of Quantum Programs

Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications