Sciweavers

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