Blog
About

7
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found

      Kodkod: A Relational Model Finder

      ,

      Springer Berlin Heidelberg

      Read this book at

      Publisher
      Buy book Bookmark
          There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references 18

          • Record: found
          • Abstract: not found
          • Conference Proceedings: not found

          BerkMin: A fast and robust SAT-solver

            Bookmark
            • Record: found
            • Abstract: not found
            • Book: not found

            Groups and Symmetry

             M A Armstrong (1988)
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              An improved algorithm for decentralized extrema-finding in circular configurations of processes

                Bookmark

                Author and book information

                Book
                978-3-540-71208-4
                978-3-540-71209-1
                2007
                10.1007/978-3-540-71209-1
                Book Chapter
                : 632-647
                10.1007/978-3-540-71209-1_49

                Comments

                Comment on this book