Toward Good Elimination Orders for Symbolic SAT Solving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jinbo Huang, Adnan Darwiche. Toward Good Elimination Orders for Symbolic SAT Solving. In 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 15-17 November 2004, Boca Raton, FL, USA. pages 566-573, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Jinbo Huang' in GoogleThis author has not been identified. Look up 'Adnan Darwiche' in Google

runs on WebDSL