Jordi Levy

2 accepted papers

2024

Weighted, Circular and Semi-Algebraic Proofs (Abstract Reprint)

Ilario Bonacina, Maria Luisa Bonet, Jordi Levy

IJCAI 2024poster

In recent years there has been an increasing interest in studying proof systems stronger than Resolution, with the aim of building more efficient SAT solvers based on them. In defining these proof systems, we try to find a balance between the power of the proof system (the size of the proofs require…

Cited by 0 Source ↗PDF ↗Scholar ↗

2021

Reducing SAT to Max2SAT

Carlos Ansótegui, Jordi Levy

IJCAI 2021poster

In the literature, we find reductions from 3SAT to Max2SAT. These reductions are based on the usage of a gadget, i.e., a combinatorial structure that allows translating constraints of one problem to constraints of another. Unfortunately, the generation of these gadgets lacks an intuitive or efficien…

Cited by 14 Source ↗PDF ↗Scholar ↗