Distributed Parallel SAT Checking with Dynamic Learning using DOTS

Abstract

We present a novel method for distributed parallel automatic theorem proving. Our approach uses a dynamically learning parallel SAT checker incorporating distributed multi-threading and mobile agents. Individual threads process dynamically created subproblems, while agents collect and distribute new knowledge created by the learning process. As… (More)

6 Figures and Tables

Topics

  • Presentations referencing similar topics