https://hal-univ-artois.archives-ouvertes.fr/hal-03300994 Contributor : Fabien DELORMEConnect in order to contact the contributor Submitted on : Tuesday, July 27, 2021 - 12:46:42 PM Last modification on : Wednesday, October 20, 2021 - 9:58:21 AM
Richard Ostrowski, Bertrand Mazure, Lakhdar Saïs. LSAT Solver v2.0. [Technical Report] Centre de Recherche en Informatique de Lens. 2003. ⟨hal-03300994⟩