Exploració per autor "Bonet Carbonell, M. Luisa"Més informacióMés informació

Ara es mostren els items 15-15 de 15

    • Weighted, circular and semi-algebraic proofs 

      Bonacina, Ilario; Bonet Carbonell, M. Luisa; Levy Díaz, Jordi (2024-02-11)
      Article
      Accés obert
      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 ...