Mixed-integer nonlinear programming (MINLP) is one of the most flexible modeling paradigms available for optimization; but because its scope is so broad, in the most general cases it is hopelessly intractable. Nonetheless, an expanding body of researchers are interested in solving large-scale MINLP instances. This book deals with this topic.