For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
20
views
22
references
 Top references
cited by
32
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      2,572
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Article: not found

      Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints

      Author(s): ,
      Publication date (Print):
      Journal: Journal of Automated Reasoning
      Publisher: Springer Nature

      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

          Most cited references22

          • Record: found
          • Abstract: not found
          • Article: not found

          A machine program for theorem-proving

          Martin Davis, George Logemann, Donald Loveland (1962)
          Article 0 comments Cited 303 times – based on 0 reviews     Review now
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            A Computing Procedure for Quantification Theory

            Martin Davis, Hilary Putnam (1960)
            Article 0 comments Cited 222 times – based on 0 reviews     Review now
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Alloy: a lightweight object modelling notation

              Daniel Jackson (2002)
              Article 0 comments Cited 62 times – based on 0 reviews     Review now
                Bookmark
                All references

                Author and article information

                Journal
                Title: Journal of Automated Reasoning
                Abbreviated Title: J Autom Reasoning
                Publisher: Springer Nature
                ISSN (Print): 0168-7433
                ISSN (Electronic): 1573-0670
                Publication date Created: January 2008
                Publication date (Print): September 2007
                Volume: 40
                Issue: 1
                Pages: 1-33
                Article
                DOI: 10.1007/s10817-007-9084-z
                SO-VID: 1a4a0e01-1bb6-46f4-b630-3b7c5e6f26a2
                Copyright © © 2008
                History

                Data availability:

                Comments

                Comment on this article

                scite_

                Similar content2,572

                See all similar

                Cited by32

                See all cited by

                Most referenced authors125

                See all reference authors