 | 2007 |
|---|
| 8 |       | Daniel Singer,
Anthony Monnet:
JaCk-SAT: A New Parallel Scheme to Solve the Satisfiability Problem (SAT) Based on Join-and-Check.
PPAM 2007: 249-258 |
| 7 | | Daniel Singer:
Linearly ordered semigroups for fuzzy set theory.
Ann. Math. Artif. Intell. 49(1-4): 207-220 (2007) |
| 2005 |
|---|
| 6 | | Daniel Singer,
Alain Vagner:
Parallel Resolution of the Satisfiability Problem (SAT) with OpenMP and MPI.
PPAM 2005: 380-388 |
| 2001 |
|---|
| 5 | | Zineb Habbas,
Michaël Krajecki,
Daniel Singer:
The Langford's Problem: A Challenge for Parallel Resolution of CSP.
PPAM 2001: 789-796 |
| 4 |  | Zineb Habbas,
Michaël Krajecki,
Daniel Singer:
Shared Memory Implementation of Constraint Satisfaction Problem Resolution.
Parallel Processing Letters 11(4): 487-501 (2001) |
| 1999 |
|---|
| 3 | | Zineb Habbas,
Francine Herrmann,
Daniel Singer,
Michaël Krajecki:
A Methodological Approach to Implement CSP on FPGA.
IEEE International Workshop on Rapid System Prototyping 1999: 66- |
| 1997 |
|---|
| 2 | | Zineb Habbas,
Francine Herrmann,
Pierre-Paul Mérel,
Daniel Singer:
Load Balancing strategies for Parallel Forward Search Algorithm with Conflict Based Backjumping.
ICPADS 1997: 376-381 |
| 1996 |
|---|
| 1 | | Pierre-Paul Mérel,
Zineb Habbas,
Francine Herrmann,
Daniel Singer:
N-Ary Consistencies and Constraint-Based Backtracking.
CP 1996: 551-552 |
