Documents Dissertation End Version

Computational Complexity of SAT, XSAT and NAE-SAT for linear and mixed Horn CNF formulas Inaugural-Dissertation zur Erlangung des Doktorgrades der Mathematisch-Naturwissenschaftlichen…

Documents Introduction to Design and Analysis Computer Algorithms - Solution Manual

Computer Algorithms, Third Edition, Solutions to Selected Exercises Sara Baase Allen Van Gelder February 25, 2000 ii I NTRODUCTION This manual contains solutions for the…

Documents Implicit Hitting Set Problems

Implicit Hitting Set Problems Richard M. Karp Harvard University August 29, 2011 Worst-case Analysis of NP-Hard Problems Exact solution methods: exponential running time…