{"id":"arxiv/2609.05737","url":"https://arxiv.org/abs/2609.05737","tags":["quant-ph","cs.ET"],"score":0,"title":"SAQC: A SAT-Aware Compilation Framework for QAOA-Based Quantum Optimization","domain":"quant-ph","source":"arxiv","authors":["Till Schnittka","Julie Maria Raju","Abhoy Kole","Rolf Drechsler"],"reviews":0,"subject":"quant-ph","summary":"The Quantum Approximate Optimization Algorithm (QAOA) is a promising variational approach for solving Boolean satisfiability (SAT) problems. Existing SAT-to-QAOA workflows first translate Boolean formulas into penalty Hamiltonians before applying generic quantum compilation, thereby discarding SAT-specific information such as clause structure, logical operators, and variable dependencies. Consequently, subsequent compiler optimizations cannot exploit the underlying Boolean formulation. This paper presents SAQC, a SAT-aware compilation framework that introduces a SAT Intermediate…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-09-04","reactions":{}}