Sciweavers

13306 search results - page 130 / 2662
» Theoretical Computer Science
Sort
View
SPIN
2004
Springer
15 years 3 months ago
Advanced SPIN Tutorial
Theo C. Ruys, Gerard J. Holzmann
FOCS
2003
IEEE
15 years 3 months ago
Locally Testable Cyclic Codes
László Babai, Amir Shpilka, Daniel S...
FOCS
2003
IEEE
15 years 3 months ago
Algorithms and Complexity Results for #SAT and Bayesian Inference
Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi