Guiding Real-World SAT Solving with Dynamic Hypergraph Separator Decomposition - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wei Li 0002, Peter van Beek. Guiding Real-World SAT Solving with Dynamic Hypergraph Separator Decomposition. In 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 15-17 November 2004, Boca Raton, FL, USA. pages 542-548, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Wei Li 0002' in GoogleThis author has not been identified. Look up 'Peter van Beek' in Google

runs on WebDSL