CS 482 -- Computer Science Theory -- Spring 2018

Class Time: 12:20 - 1:10 pm MWF
Classroom: Min Kao Engineering 405

There will be no lecture on Friday, April 27.

The final project is due on Monday, May 7. Submit your final report through Canvas.

Semester Project

A simple specification of a solution to the semester project can be found here. This description may be refined as the semester progresses.

Project Assignment due 4/9/2018

Prepare a status update for your semester project.

Instructor: Micah Beck

Recommended Reading

Design and Analysis of Computer Algorithms
Authors: Aho, Hopcroft and Ullman
Publisher: Addison-Wesley Longman
Year: 1974


The TOP500 list: https://www.top500.org/
LAPACK in Wikipedia: https://en.wikipedia.org/wiki/LAPACK
The LAPACK/ScaLAPACK Development Forum: http://icl.cs.utk.edu/lapack-forum/

Project Resources

Memoization/Computational Caching Slides click here

DIMACS format for describing SAT problems

SATLIB - The Satisfiability Library

SATLIB - Benchmark Problems

3SAT Solver

MySQL Open Source Database https://www.mysql.com/


International Journal of Theoretical Physics
April 1982, Volume 21, Issue 3
New computer architectures and their relationship to physics or why computer science is no good
Author: W. Daniel Hillis

Cheating Husbands and Other Stories: A Case Study of Knowledge, Action and Communication
Yoram Moses, Danny Dolev, Joseph Y. Halpern

Meltdown and Spectre vulnerabilities