[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

SatX10: A Scalable Plug&Play Parallel SAT Framework

(Tool Presentation)

  • Conference paper
Theory and Applications of Satisfiability Testing – SAT 2012 (SAT 2012)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
GBP 19.95
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
GBP 35.99
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
GBP 44.99
Price includes VAT (United Kingdom)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Biere, A.: Lingeling and friends at the sat competition 2011. Technical report, Johannes Kepler University (2011)

    Google Scholar 

  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. Hamadi, Y., Sais, L.: ManySAT: a parallel SAT solver. JSAT 6 (2009)

    Google Scholar 

  4. Roussel, O.: Description of ppfolio. Technical report, Artois University (2011)

    Google Scholar 

  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. SAT Competition (2011), www.satcompetition.org

  7. X10. X10 programming language web site (January 2010), http://x10-lang.org/

Download references

Author information

Authors and Affiliations

  1. IBM Watson Research Center, New York, USA

    Bard Bloom, David Grove, Benjamin Herta, Ashish Sabharwal, Horst Samulowitz & Vijay Saraswat

Authors
  1. Bard Bloom
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. David Grove
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Benjamin Herta
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ashish Sabharwal
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Horst Samulowitz
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Vijay Saraswat
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Center for Information Technology, Fondazione Bruno Kessler, via Sommarive 18, Povo, 38123, Trento, Italy

    Alessandro Cimatti

  2. Department of Information Engineering and Computer Science, University of Trento, via Sommarive 14, Povo, 38123, Trento, Italy

    Roberto Sebastiani

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bloom, B., Grove, D., Herta, B., Sabharwal, A., Samulowitz, H., Saraswat, V. (2012). SatX10: A Scalable Plug&Play Parallel SAT Framework. In: Cimatti, A., Sebastiani, R. (eds) Theory and Applications of Satisfiability Testing – SAT 2012. SAT 2012. Lecture Notes in Computer Science, vol 7317. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31612-8_38

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-31612-8_38

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-31611-1

  • Online ISBN: 978-3-642-31612-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation