SatX10: a scalable plug&play parallel SAT framework

  • Authors:

  • Bard Bloom;David Grove;Benjamin Herta;Ashish Sabharwal;Horst Samulowitz;Vijay Saraswat

  • Affiliations:

  • IBM Watson Research Center, New York;IBM Watson Research Center, New York;IBM Watson Research Center, New York;IBM Watson Research Center, New York;IBM Watson Research Center, New York;IBM Watson Research Center, New York

  • Venue:
  • SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

We propose a framework for SAT researchers to conveniently try out new ideas in the context of parallel SAT solving without the burden of dealing with all the underlying system issues that arise when implementing a massively parallel algorithm. The framework is based on the parallel execution language X10, and allows the parallel solver to easily run on both a single machine with multiple cores and across multiple machines, sharing information such as learned clauses.