Probabilistic Analysis of Satisfiability Algorithms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

John Franco, Yves Crama, Peter L. Hammer. Probabilistic Analysis of Satisfiability Algorithms. In Yves Crama, Peter L. Hammer, editors, Boolean Models and Methods in Mathematics, Computer Science, and Engineering. pages 99-159, Cambridge University Press, 2010. [doi]

This author has not been identified. Look up 'John Franco' in GoogleThis author has not been identified. Look up 'Yves Crama' in GoogleThis author has not been identified. Look up 'Peter L. Hammer' in Google

runs on WebDSL