Logic and Integer Programming

Authors:

ISBN: 978-0-387-92279-9 (Print) 978-0-387-92280-5 (Online)

Table of contents (4 chapters)

  1. Front Matter

    Pages 1-10

  2. No Access

    Chapter

    Pages 1-24

    An Introduction To Logic

  3. No Access

    Chapter

    Pages 25-70

    Integer Programming

  4. No Access

    Chapter

    Pages 71-103

    Modelling In Logic For Integer Programming

  5. No Access

    Chapter

    Pages 105-144

    The Satisfiability Problem and Its Extensions

  6. Back Matter

    Pages 1-13