Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Holger H. Hoos, David G. Mitchell, editors, Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers. Volume 3542 of Lecture Notes in Computer Science, Springer, 2005.

Conference: sat2005

This author has not been identified. Look up 'Holger H. Hoos' in GoogleThis author has not been identified. Look up 'David G. Mitchell' in Google

runs on WebDSL