Daniel Singer

A New Decomposition Scheme for Parallel Resolution of the Satisfiability Problem ( SAT )

Daniel Singer, 2007 .

Decomposition techniques for parallel resolution of constraint satisfaction problems in shared memory: a comparative study

Michaël Krajecki, Zineb Habbas, Daniel Singer, 2005, Int. J. Comput. Sci. Eng..

Linearly ordered semigroups for fuzzy set theory

Daniel Singer, Daniel Singer, 2007, Annals of Mathematics and Artificial Intelligence.

Genetic algorithms for scheduling in a CPU/FPGA architecture with heterogeneous communication delays

Camel Tanougast, Imed Kacem, Camille Diou, 2019, Comput. Ind. Eng..

The Langford's Problem: A Challenge for Parallel Resolution of CSP

Michaël Krajecki, Zineb Habbas, Daniel Singer, 2001, PPAM.

A comparison of two metaheuristic algorithms for scheduling problem on a heterogeneous CPU/FPGA architecture with communication delays

Camel Tanougast, Imed Kacem, Camille Diou, 2017, 2017 4th International Conference on Control, Decision and Information Technologies (CoDIT).

Parallel Resolution of the Satisfiability Problem (SAT) with OpenMP and MPI

Alain Vagner, Daniel Singer, Daniel Singer, 2005, PPAM.