On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systemsv

Authors
Publication date
1 January 2000
Publisher
'Society for Industrial & Applied Mathematics (SIAM)'
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Archivio della ricerca- Università di Roma La Sapienza

      redirect
      oaioai:iris.uniroma1.it:11573/133...
      Last time updated on 12/11/2016