- Integer Domains (N4).
Experiments comparing a solver based on CSP with ours.
Experiments done on the termination data base 5.0, TRS category
- Integer Domains (Bound 4).
Experiments comparing a solver based on CSP with ours.
Experiments done on the termination data base 5.0, TRS category
- Rational Domains.
Experiments comparing a solver based on CSP with ours.
Experiments done on the termination data base 5.0, TRS category