A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
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. ... SatX10 originated from an X10-based SAT solver named PolySat, which was developed in collaboration with David Cunningham. ...doi:10.1007/978-3-642-31612-8_38 fatcat:cozucflfgjhj3amyurhclgmvkq