Dataset - CKAN

Compilation des QCSP

Nous proposons dans cet article un cadre formel pour la compilation des problèmes de satisfaction de contraintes quantifiées (QCSP). L'objectif d'une telle compilation...
- HTML

You can also access this registry using the API (see API Docs).