Concepedia

Olivier Bailleux

OB

6

Publications

149

Citations

6

H-Index

1999

Active since

Affiliations

Université d'Artois(Current)

Laboratoire de Recherche en Informatique

Laboratoire d'Informatique Algorithmique: Fondements et Applications

Université de Bourgogne

Olivier Bailleux is an author at Université d'Artois specializing in engineering, computer science, and computational complexity.

Top concepts

EngineeringComputer ScienceComputational ComplexityBiologySatisfiabilityPattern FormationAutomated ReasoningMedicineGame TheoryCell Biology

Publications per year

1999–2007

6

Publications

6

A Translation of Pseudo-Boolean Constraints to SAT

Olivier Bailleux, Yacine Boufkhad, Olivier Roussel · Journal on Satisfiability Boolean Modeling and Computation · 2006 · 67 citations · Full text

Circuit Complexity, Mathematical Programming, Engineering +16

DISTANCE-SAT: complexity and algorithms

Olivier Bailleux, Pierre Marquis · 1999 · 19 citations

Research of Complexity in Cellular Automata through Evolutionary Algorithms

Emmanuel Sapin, Olivier Bailleux, Jacqueline Chabrier · Complex Systems · 2007 · 18 citations · Full text

Biology, Pattern Formation, Engineering +13

Demonstration of the Universality of a New Cellular Automaton

Emmanuel Sapin, Olivier Bailleux, Jean-Jacques Chabrier et al. · 2007 · 18 citations

Biology, New Cellular Automaton, Pattern Formation +13

Some Computational Aspects of distance-sat

Olivier Bailleux, Pierre Marquis · Journal of Automated Reasoning · 2007 · 14 citations

Computational Complexity Theory, Engineering, Automated Reasoning +6

Rows per page

1–5 of 6