[IEEE Simulation (HPCS) - Caen, France (2010.06.28-2010.07.2)] 2010 International Conference on High Performance Computing & Simulation - Portfolio-based Parallel SAT solving
Sais, LakhdarYear:
2010
Language:
english
DOI:
10.1109/hpcs.2010.5547119
File:
PDF, 294 KB
english, 2010