Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Logic and Integer Programming
Logic and Integer Programming
Author 
Williams, H. Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-92280-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Logic-based decision support mixed integer model formulation
Logic-based decision support mixed integer model formulation
Author 
Jeroslow, Robert G., 1942-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444871190
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Introduction to mathematics of satisfiability
Introduction to mathematics of satisfiability
Author 
Marek, V. W. (V. Wiktor), 1943, author.
Preferred Shelf Number 
QA9.3 .M37 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies: