22
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Conference Proceedings: not found

      Chaff : engineering an efficient SAT solver

      proceedings-article
      , , , ,
      the 38th conference (DAC '01)
      -

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Author and article information

          Conference
          2001
          : 530-535
          Article
          10.1145/378239.379017
          5c7f51e6-014b-4a4d-81b8-b05e6660692b
          © 2001
          the 38th conference
          DAC '01
          38
          Las Vegas, Nevada, United States
          -
          EDAC, Electronic Design Automation Consortium
          IEEE-CAS, Circuits & Systems
          SIGDA, ACM Special Interest Group on Design Automation
          History

          Comments

          Comment on this article

          scite_
          0
          0
          0
          0
          Smart Citations
          0
          0
          0
          0
          Citing PublicationsSupportingMentioningContrasting
          View Citations

          See how this article has been cited at scite.ai

          scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.

          Similar content115

          Cited by149