The top documents tagged [challenge paper]

BIRS Workshop, Banff, Canada Jan 22, 2014 © 2014 IBM Corporation Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers.

AAAI 2013 Conference, Bellevue, WA AAAI 2013 © 2013 IBM Corporation Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT.

pp2_hungerandmalnutritioncc08

PP1_ConflictsCC08

pp2_diseasescc08

[published at AAAI-2013]

Trend Towards Parallelization

pp1_conflictscc08

pp1_subsidiesandtradebarrierscc08

PP - Water1 FINISHED

PP2_DiseasesCC08