1 - 3 of 3 results for "Enrico Giunchiglia"

Title: Icaps Proceedings, Thirteenth International Conference on Automated Planning, and Scheduling, Author: Enrico Giunchiglia
Title: SAT 2005: Satisfiability Research in the Year 2005, Author: Enrico Giunchiglia
Title: Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers / Edition 1, Author: Enrico Giunchiglia