This book provides a thorough introduction to the mathematical and algorithmic aspects of certifi...