( en | de | ru )

 

Disambiguation of "Bailleux, Olivier"

Author of the publication

copydeleteadd this publication to your clipboard
Research of Complex Forms in Cellular Automata by Evolutionary Algorithms.

, , and . Artificial Evolution, volume 2936 of Lecture Notes in Computer Science, page 357-367. Springer, (2003)

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.

Eduard Olivier

Olivier Coutand

Paul Olivier

Christoph Olivier

Olivier Brede

 

Other publications of authors with the same name

DISTANCE-SAT: Complexity and Algorithms., and . AAAI/IAAI, page 642-647. AAAI Press / The MIT Press, (1999)Unit contradiction versus unit propagation. CoRR, (2012)Research of Complex Forms in Cellular Automata by Evolutionary Algorithms., , and . Artificial Evolution, volume 2936 of Lecture Notes in Computer Science, page 357-367. Springer, (2003)A New Universal Cellular Automaton Discovered by Evolutionary Algorithms., , , and . GECCO (1), volume 3102 of Lecture Notes in Computer Science, page 175-187. Springer, (2004)Efficient CNF Encoding of Boolean Cardinality Constraints., and . CP, volume 2833 of Lecture Notes in Computer Science, page 108-122. Springer, (2003)Reified unit resolution and the failed literal rule. CoRR, (2010)On the CNF encoding of cardinality constraints and beyond. CoRR, (2010)Demonstration of the Universality of a New Cellular Automaton., , , and . Int. J. Unconv. Comput., 3 (2): 79-103 (2007)Local Search for Statistical Counting.. AAAI/IAAI, page 386-391. AAAI Press / The MIT Press, (1998)Counting by Statistics on Search Trees: Application to Constraint Satisfaction Problems., and . Intell. Data Anal., 1 (1-4): 263-274 (1997)