Faithin Omaha eBook Collection

New and classical results in computational complexity, including interactive proofs, PCP, derandomization, and quantum computation. Ideal for graduate students.

What is the difference between a wink and a blink? The answer is important not only to philosophers of mind, for significant moral and legal consequences rest o

Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, c

Nowadays constraint satisfaction problems (CSPs) are ubiquitous in many different areas of computer science, from artificial intelligence and database systems t

Constraint reasoning has matured over the last three decades with contributions from a diverse community of researchers in artificial intelligence, databases an