Article Dans Une Revue
Annals of Mathematics and Artificial Intelligence
Année : 1996
HAL System : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00254952
Soumis le : mercredi 13 février 2008-15:33:02
Dernière modification le : mercredi 20 mars 2024-16:20:04
Dates et versions
Identifiants
- HAL Id : hal-00254952 , version 1
Citer
Etienne Grandjean. Sorting, linear time and the satisfiability problem. Annals of Mathematics and Artificial Intelligence, 1996, 16, pp.183-236. ⟨hal-00254952⟩
Collections
53
Consultations
0
Téléchargements