SatX10: A Scalable Plug&Play Parallel SAT Framework
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.
Unable to display preview. Download preview PDF.
- 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/