UIUC-Jeff-Erickson
lecture7
Erich Friedman Stetson University October 2, 2002 Spiral Galaxies Puzzles are NP-complete.
1D Bin Packing (or CP? Who cares?) A case study. [SR1] BIN PACKING INSTANCE: Finite set U of items, a size s(u) in Z + for each u in U, a positive integer.
CS4018 Formal Models of Computation weeks 20-23 Computability and Complexity Kees van Deemter (partly based on lecture notes by Dirk Nikodem)
Ran Libeskind-Hadas Department of Computer Science Harvey Mudd College Joint work with: Mike Charleston (Univ. of Sydney) Chris Conow (USC) Ben Cousins.
Ontology Engineering: Tools and Methodologies Ian Horrocks Information Management Group School of Computer Science University of Manchester.
Scalable Ontology Systems Ian Horrocks Information Systems Group Oxford University Computing Laboratory.
Syllabus
Lecture 1
Computer Algorithms.pdf
The Traveling Salesman Problem in Theory & Practice Lecture 1 21 January 2014 David S. Johnson [email protected] Seeley Mudd.