Hacker News new | comments | show | ask | jobs | submit | from login
Parallelization of SAT Algorithms on GPUs [pdf] (inesc-id.pt)
65 points by setra on Feb 17, 2017 | past | web | 18 comments
HyParView: a membership protocol for reliable gossip-based broadcast (2007) [pdf] (inesc-id.pt)
6 points by ch on Dec 6, 2015 | past | web
Accepted Papers — SOCC2011 (inesc-id.pt)
2 points by LiveTheDream on July 22, 2011 | past | web

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: