Combining SAT solvers on discrete resources - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yanik Ngoko, Denis Trystram. Combining SAT solvers on discrete resources. In Waleed W. Smari, John P. McIntire, editors, 2009 International Conference on High Performance Computing & Simulation, HPCS 2009, Leipzig, Germany, June 21-24, 2009. pages 153-160, IEEE, 2009. [doi]

This author has not been identified. Look up 'Yanik Ngoko' in GoogleThis author has not been identified. Look up 'Denis Trystram' in Google

runs on WebDSL