DC-SSAT: A Divide-and-Conquer Approach to Solving Stochastic Satisfiability Problems Efficiently - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stephen M. Majercik, Byron Boots. DC-SSAT: A Divide-and-Conquer Approach to Solving Stochastic Satisfiability Problems Efficiently. 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 416-422, AAAI Press / The MIT Press, 2005.

This author has not been identified. Look up 'Stephen M. Majercik' in GoogleThis author has not been identified. Look up 'Byron Boots' in Google

runs on WebDSL