Logic-Based 01 Constraint Programming

Focusing on 0-1 integer programming problems, this book offers a logical perspective that reveals structural insights for more effective solution techniques tailored to specific problem classes. It integrates operations research methods within a logic programming framework, marking a pioneering effort to unify these two approaches. This comprehensive treatment aims to enhance understanding and application in the field, making it a valuable resource for researchers and practitioners alike.