Directed Research Project Details
Statistical Analysis of Random 3-SAT Problems Using Binary Decision Diagrams
| Author: | Iustin Benche |
|---|---|
| Date: | November 06, 2000 |
| Time: | 14:00 |
| Location: | 220 Deschutes |
| Committee: | Matt Ginsberg David Etherington Chris Wilson |
| Author: | Iustin Benche |
|---|---|
| Date: | November 06, 2000 |
| Time: | 14:00 |
| Location: | 220 Deschutes |
| Committee: | Matt Ginsberg David Etherington Chris Wilson |