Reading Length
Home
Speed Tests
Login
Enrico Giunchiglia
Identifiers
Open Library
OL3853681A
Top Subjects
Computers - General Information (1)
Artificial Intelligence - General (1)
Calculus (1)
Computer algorithms (1)
Decision making (1)
Artificial intelligence (1)
Books by Enrico Giunchiglia
Total count: 3
Icaps Proceedings, Thirteenth International Conference on Automated Planning, and Scheduling
AAAI Press
2003-01-01
Theory and Applications of Satisfiability Testing
6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
Springer London, Limited
2004-01-01
Sat 2005
Satisfiability Research in the Year 2005
Springer London, Limited
2007-01-01
