collaborators

1 paper

cs.LO2026

Computing Short SAT Implicants via Ising/QUBO Encodings

Giuseppe Spallitta, Leonardo Duenas-Osorio, Moshe Y. Vardi

Many reasoning tasks require short partial satisfying assignments (implicants), sometimes focusing on a set of important variables. SAT-to-Ising-QUBO formulations are implicitly de…