45
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Logic Programming and Nonmonotonic Reasoning 

      A Simple Distributed Conflict-Driven Answer Set Solver

      other

      Read this book at

      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 references9

          • Record: found
          • Abstract: not found
          • Book Chapter: not found

          An Extensible SAT-solver

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

            PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems

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

              Answer Set Programming with Clause Learning

                Bookmark

                Author and book information

                Book Chapter
                2009
                : 490-495
                10.1007/978-3-642-04238-6_47
                782d79a7-2de8-40da-9f17-0972fe3c54c0
                History

                Comments

                Comment on this book

                Book chapters

                Similar content2,680

                Cited by6