A backbone-search heuristic for efficient solving of hard 3-SAT formulae - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Olivier Dubois, Gilles Dequen. A backbone-search heuristic for efficient solving of hard 3-SAT formulae. In Bernhard Nebel, editor, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001. pages 248-253, Morgan Kaufmann, 2001.

This author has not been identified. Look up 'Olivier Dubois' in GoogleThis author has not been identified. Look up 'Gilles Dequen' in Google

runs on WebDSL