Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Enrico Giunchiglia, Armando Tacchella, editors, Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers. Volume 2919 of Lecture Notes in Computer Science, Springer, 2004.

Conference: sat2004

This author has not been identified. Look up 'Enrico Giunchiglia' in GoogleThis author has not been identified. Look up 'Armando Tacchella' in Google

runs on WebDSL