A Dynamic Moldable Job Scheduling Based Parallel SAT Solver Conferences

authors

• Asghar, Sajjad
• Aubanel, Eric
• Bremner, David

status

• published 

publication date

• October 2013

published in

• Proceedings of the International Conference on Parallel Processing Workshops  Journal

presented at event

• 2013 42nd International Conference on Parallel Processing (ICPP)  Conference

keywords

• 46 Information and Computing Sciences
• 4602 Artificial Intelligence

Digital Object Identifier (DOI)

• 10.1109/icpp.2013.20

start page

• 110

end page

• 119