SAT-Based versus CSP-Based Constraint Weighting for Satisfiability - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi. SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. In Manuela M. Veloso, Subbarao Kambhampati, editors, Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA. pages 455-460, AAAI Press / The MIT Press, 2005.

This author has not been identified. Look up 'Duc Nghia Pham' in GoogleThis author has not been identified. Look up 'John Thornton' in GoogleThis author has not been identified. Look up 'Abdul Sattar' in GoogleThis author has not been identified. Look up 'Abdelraouf Ishtaiwi' in Google

runs on WebDSL