Daniel Singer

N-Ary Consistencies and Constraint-Based Backtracking

Zineb Habbas, Francine Herrmann, Pierre-Paul Mérel, 1996, CP.

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

Alain Vagner, Daniel Singer, Daniel Singer, 2005, 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).

Automated interpretation of eye–hand coordination in mobile eye tracking recordings

Mirko Meboldt, Quentin Lohmeyer, Moritz Mussgnug, 2017, KI - Künstliche Intelligenz.

Linearly ordered semigroups for fuzzy set theory

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

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..

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

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

JaCk-SAT: A New Parallel Scheme to Solve the Satisfiability Problem (SAT) Based on Join-and-Check

Daniel Singer, Anthony Monnet, 2007, PPAM.

Solving Non Binary Constraint Satisfaction Problems with Dual Backtracking on Hypertree Decomposition

Zineb Habbas, Daniel Singer, Kamal Amroun, 2011, ICAART.

A Forward-Checking algorithm based on a Generalised Hypertree Decomposition for solving non-binary constraint satisfaction problems

Zineb Habbas, Daniel Singer, Kamal Amroun, 2015, J. Exp. Theor. Artif. Intell..

A methodological approach to implement CSP on FPGA

Michaël Krajecki, Zineb Habbas, Francine Herrmann, 1999, Proceedings Tenth IEEE International Workshop on Rapid System Prototyping. Shortening the Path from Specification to Prototype (Cat. No.PR00246).

Hardware implementation of UWB-IR transceiver and receiver based on Wavelet Packet Transform for networked bio-sensors

Camel Tanougast, Daniel Singer, Christophe H. Kizil, 2016, 2016 International Conference on Bio-engineering for Smart Technologies (BioSMART).

Load balancing strategies for parallel forward search algorithm with conflict based backjumping

Zineb Habbas, Francine Herrmann, Pierre-Paul Mérel, 1997, Proceedings 1997 International Conference on Parallel and Distributed Systems.

Generalized Hypertree Decomposition for solving non binary CSP with compressed table constraints

Zineb Habbas, Daniel Singer, Kamal Amroun, 2016, RAIRO Oper. Res..

Parallel Resolution of the Satisfiability Problem: A Survey

Daniel Singer, 2006 .