SatX10: A Scalable Plug&Play Parallel SAT Framework

(Tool Presentation)
  • Bard Bloom
  • David Grove
  • Benjamin Herta
  • Ashish Sabharwal
  • Horst Samulowitz
  • Vijay Saraswat
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7317)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Biere, A.: Lingeling and friends at the sat competition 2011. Technical report, Johannes Kepler University (2011)Google Scholar
  2. 2.
    Charles, P., Grothoff, C., Saraswat, V., Donawa, C., Kielstra, A., Ebcioglu, K., von Praun, C., Sarkar, V.: X10: an object-oriented approach to non-uniform cluster computing. In: OOPSLA 2005, San Diego, CA, USA, pp. 519–538 (2005)Google Scholar
  3. 3.
    Hamadi, Y., Sais, L.: ManySAT: a parallel SAT solver. JSAT 6 (2009)Google Scholar
  4. 4.
    Roussel, O.: Description of ppfolio. Technical report, Artois University (2011)Google Scholar
  5. 5.
    Saraswat, V., Bloom, B., Peshansky, I., Tardieu, O., Grove, D.: Report on the experimental language, X10. Technical report, IBM Research (2011)Google Scholar
  6. 6.
    SAT Competition (2011), www.satcompetition.org
  7. 7.
    X10. X10 programming language web site (January 2010), http://x10-lang.org/

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Bard Bloom
    • 1
  • David Grove
    • 1
  • Benjamin Herta
    • 1
  • Ashish Sabharwal
    • 1
  • Horst Samulowitz
    • 1
  • Vijay Saraswat
    • 1
  1. 1.IBM Watson Research CenterNew YorkUSA

Personalised recommendations