Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Algorithmic Decision Theory 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings
Algorithmic Decision Theory 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings
Author 
Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519133.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23114-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for SAT 2005 Satisfiability Research in the Year 2005
SAT 2005 Satisfiability Research in the Year 2005
Author 
Giunchiglia, Enrico. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5571-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Handbook of constraint programming
Handbook of constraint programming
Author 
Rossi, Francesca, 1962- Van Beek, Peter. Walsh, Toby.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444527264
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Author 
Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137280
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets