Distributed Parallel SAT Checking with Dynamic Learning using DOTS


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


  • Presentations referencing similar topics