×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [ibm corporationcontributions]
Home >
ibm corporationcontributions
AAAI 2013 Conference, Bellevue, WA AAAI 2013 © 2013 IBM Corporation Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT.
215 views
[published at AAAI-2013]
44 views
Trend Towards Parallelization
35 views