2 citations · 2 across the 2 of their papers we have counts for
2 papers
quant-ph2024★ 2 cited
SAT, Gadgets, Max2XOR, and Quantum Annealers
Carlos Ansótegui, Jordi Levy
Quantum Annealers are basically quantum computers that with high probability can optimize certain quadratic functions on Boolean variables in constant time. These functions are bas…
cs.AI2023
Exploiting Configurations of MaxSAT Solvers
Josep Alòs, Carlos Ansótegui, Josep M. Salvia +1
In this paper, we describe how we can effectively exploit alternative parameter configurations to a MaxSAT solver. We describe how these configurations can be computed in the conte…