Skip to Main content Skip to Navigation
Journal articles

Sorting, linear time and the satisfiability problem

Etienne Grandjean 1
1 Equipe AMACC - Laboratoire GREYC - UMR6072
GREYC - Groupe de Recherche en Informatique, Image et Instrumentation de Caen
Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00254952
Contributor : Hal System Connect in order to contact the contributor
Submitted on : Wednesday, February 13, 2008 - 3:33:02 PM
Last modification on : Tuesday, October 19, 2021 - 11:34:56 PM

Identifiers

  • HAL Id : hal-00254952, version 1

Citation

Etienne Grandjean. Sorting, linear time and the satisfiability problem. Annals of Mathematics and Artificial Intelligence, Springer Verlag, 1996, 16, pp.183-236. ⟨hal-00254952⟩

Share

Metrics

Les métriques sont temporairement indisponibles