( en | de | ru )

 

Disambiguation of "Michel, Laurent"

Author of the publication

copydeleteadd this publication to your clipboard
Newton: Constraint Programming over Nonlinear Real Constraints

, , and . Science of Computer Programming, 30 (1--2): 83--118 (1998)

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.

Laurent Ntahuga

Laurent Bartholdi

Thomas Laurent

Sarah Laurent

Thomas Laurent

 

Other publications of authors with the same name

The Time Complexity of A* with Approximate Heuristics on Multiple-Solution Search Spaces., , , and . J. Artif. Intell. Res., (2012)Integrating Access Control into UML for Secure Software Modeling and Analysis., , , and . Int. J. Secur. Softw. Eng., 1 (1): 1-19 (2010)A comprehensive tolerant algebraic side-channel attack over modern ciphers using constraint programming., , and . J. Cryptogr. Eng., 12 (2): 197-228 (2022)Scheduling Abstractions for Local Search., and . CPAIOR, volume 3011 of Lecture Notes in Computer Science, page 319-334. Springer, (2004)Distributed Constraint-Based Local Search., , and . CP, volume 4204 of Lecture Notes in Computer Science, page 344-358. Springer, (2006)A simple tabu search for warehouse location., and . Eur. J. Oper. Res., 157 (3): 576-591 (2004)Perception-action coupling model for human locomotor pointing., , , , and . Biol. Cybern., 87 (2): 141-150 (2002)Constraint-based local search., and . MIT Press, (2005)Newton - Constraint Programming over Nonlinear Constraints., , and . Sci. Comput. Program., 30 (1-2): 83-118 (1998)A design flow with integrated verification of requirements and faults in safety-critical systems., , , and . SoSE, page 1-6. IEEE, (2017)