Filters








1 Hit in 1.5 sec

SatX10: A Scalable Plug&Play Parallel SAT Framework [chapter]

Bard Bloom, David Grove, Benjamin Herta, Ashish Sabharwal, Horst Samulowitz, Vijay Saraswat
2012 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