(1, 2)-QSAT: A Good Candidate for Understanding Phase Transitions Mechanisms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol. (1, 2)-QSAT: A Good Candidate for Understanding Phase Transitions Mechanisms. In Oliver Kullmann, editor, Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings. Volume 5584 of Lecture Notes in Computer Science, pages 363-376, Springer, 2009. [doi]

This author has not been identified. Look up 'Nadia Creignou' in GoogleThis author has not been identified. Look up 'Hervé Daudé' in GoogleThis author has not been identified. Look up 'Uwe Egly' in GoogleThis author has not been identified. Look up 'Raphaël Rossignol' in Google

runs on WebDSL