Exploració per autor "Levy Díaz, Jordi"
Ara es mostren els items 8-8 de 8
-
Weighted, circular and semi-algebraic proofs
Bonacina, Ilario; Bonet Carbonell, M. Luisa; Levy Díaz, Jordi (2024-02-11)
Article
Accés obertIn 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 ...