Tompkins, D., Hoos, H.: Warped landscapes and random acts of SAT solving. In: Proceedings of the Eighth International Symposium on Artificial Intelligence and Mathematics, AI&M 2004, Fort Lauderdale, Florida (2004) Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Backbone Guided Dynamic Local Search for Propositional.. - Ferreira Jr. (Correct)
No context found.
Tompkins, D., Hoos, H.: Warped landscapes and random acts of SAT solving. In: Proceedings of the Eighth International Symposium on Artificial Intelligence and Mathematics, AI&M 2004, Fort Lauderdale, Florida (2004)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC