|
|
|
F. Nielson, H. Seidl, and H. Riis Nielson.
Succinct Solver for ALFP,
Nordic journal of computing, 2002(9), 2002
|
|
M. Buchholtz, H. Riis Nielson, and F. Nielson.
Experiments with Succinct Solvers.
Technical Report IMM-SECSAFE-002, 2002.
|
|
H. Sun, H. Riis Nielson, and F. Nielson.
Data Structures in the Succinct Solver (V1.0).
Technical Report IMM-SECSAFE-005, 2002.
|
|
H. Pilegaard.
A feasibility Study.
Technical Report IMM-SECSAFE-008, 2003.
|
|
H. Sun, H. Riis Nielson, and F. Nielson.
Extended Features in the Succinct Solver (V2.0).
Technical Report IMM-SECSAFE-009, 2003.
|
|
F. Nielson, H. Riis Nielson, H. Sun, M. Buchholtz, R. Rydhof Hansen, H. Pilegaard, and H. Seidl
The Succinct Solver Suite. To appear
|
|