Author of the publication

A Hyperheuristic Approach for Guiding Enumeration in Constraint Solving.

, , , , , and . EVOLVE, volume 175 of Advances in Intelligent Systems and Computing, page 171-188. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automatic Analysis of Composite Solvers., and . ICTAI, page 276-283. IEEE Computer Society, (2002)Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances., and . JFPLC, page 189-202. Hermes/Lavoisier, (2003)Reachability in parametric Interval Markov Chains using constraints., , , , , and . Theor. Comput. Sci., (2018)A reactive and hybrid constraint solver., , , , , and . J. Exp. Theor. Artif. Intell., 25 (1): 1-22 (2013)Some Results on the design of Balanced Academic Curricula., and . CLEI Electron. J., (2009)Knowledge Management in the Development of Optimization Algorithms., , and . HCI (8), volume 4557 of Lecture Notes in Computer Science, page 604-612. Springer, (2007)A Coordination-based Chaotic Iteration Algorithm for Constraint Propagation.. SAC (1), page 262-269. ACM, (2000)Editorial: special track on constraint solving and programming., , and . SAC, page 364-365. ACM, (2005)Using coordination for cooperative constraint solving., and . SAC, page 139-148. ACM, (1998)Reachability in Parametric Interval Markov Chains Using Constraints., , , , and . QEST, volume 10503 of Lecture Notes in Computer Science, page 173-189. Springer, (2017)