Improving Configuration Checking for Satisfiable Random k-SAT Instances - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

André Abramé, Djamal Habet, Donia Toumi. Improving Configuration Checking for Satisfiable Random k-SAT Instances. In International Symposium on Artificial Intelligence and Mathematics, ISAIM 2014, Fort Lauderdale, FL, USA, January 6-8, 2014. 2014. [doi]

This author has not been identified. Look up 'André Abramé' in GoogleThis author has not been identified. Look up 'Djamal Habet' in GoogleThis author has not been identified. Look up 'Donia Toumi' in Google

runs on WebDSL