A probabilistic analysis of a new satisfiability algorithm

Authors
Publication date
1 January 1982
Publisher
'EDP Sciences'
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Crossref

      redirect
      oaiinfo:doi/10.1051%2Fita%2F19821...
      Last time updated on 05/06/2019

      Numérisation de Documents Anciens Mathématiques

      redirect
      oaioai:numdam.org:ITA_1982__16_3_...
      Last time updated on 16/06/2016