Lógica y Programación entera

Paul Williams, una autoridad líder en la creación de modelos en programación entera, ha escrito un concisa, legible introducción a la ciencia y el arte de la utilización de modelado en la lógica de programación entera. Escrito por alumnos de grado y postgrado, así como académicos y profesionales, el libro está dividido en cuatro capítulos que todo evitar que el formato típico de las definiciones, teoremas y pruebas y en lugar de introducir los conceptos y resultados dentro del texto a través de ejemplos. Se dan referencias al final de cada capítulo, para más matemático documentos y textos sobre el tema, y se incluyen ejercicios para reforzar y ampliar el material en el capítulo. Métodos de solución con la lógica y los IP son dadas y sus conexiones se describen. Aplicaciones en diversos campos que se discuten, y Williams muestra cómo la IP de los modelos puede ser expresado como satisfiability problemas y resuelto como tal.