• The Width-size method for general resolution is optimal 

      Bonet Carbonell, M. Luisa; Galesi, Nicola (1999-02)
      Report de recerca
      Accés obert
      The Width-Size Method for resolution was recently introduced by Ben-Sasson and Wigderson (BSW): Short Proofs are Narrow - Resolution Made Simple STOC 99). They found a trade-off between two complexity measures for ...