Abstract
In this chapter the author offers a perspective on his own scientific background and how this influenced the direction of his work and the book contents.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
A. Biere, Lingeling, plingeling, PicoSAT and PrecoSAT at SAT race 2010. Technical Report 10/1, FMV Reports Series (2010)
Y. Hamadi, Traitement des problèmes de satisfaction de contraintes distribués. PhD thesis, Université Montpellier II (1999) (in French)
Y. Hamadi, Interleaved backtracking in distributed constraint networks. Int. J. Artif. Intell. Tools 11(2), 167–188 (2002)
Y. Hamadi, Disolver: a distributed constraint solver. Technical Report MSR-TR-2003-91, Microsoft Research (2003)
F. Hutter, Y. Hamadi, Parameter adjustment based on performance prediction: towards an instance-aware problem solver. Technical Report MSR-TR-2005-125, Microsoft Research, Cambridge, UK (2005)
F. Hutter, Y. Hamadi, H. Hoos, K. Leyton-Brown, Performance prediction and automated tuning of randomized and parametric algorithms, in CP, ed. by F. Benhamou. Lecture Notes in Computer Science, vol. 4204 (Springer, Berlin, 2006), pp. 213–228
S. Kottler, SArTagnan: solver description. Technical Report, SAT race 2010 (2010)
R. Martins, V.M. Manquinho, I. Lynce, Improving search space splitting for parallel SAT solving, in 22nd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2010 (IEEE Comput. Soc., Los Alamitos, 2010), pp. 336–343
T. Schubert, M. Lewis, B. Becker, Antom: solver description. Technical Report, SAT race (2010)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hamadi, Y. (2013). Conclusion and Perspectives. In: Combinatorial Search: From Algorithms to Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41482-4_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-41482-4_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41481-7
Online ISBN: 978-3-642-41482-4
eBook Packages: Computer ScienceComputer Science (R0)