Proceedings/Recueil Des Communications
Année : 2023
Daniel Le Berre : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04486837
Soumis le : samedi 2 mars 2024-16:35:43
Dernière modification le : dimanche 3 mars 2024-03:16:36
Dates et versions
Identifiants
- HAL Id : hal-04486837 , version 1
Citer
Matti Järvisalo, Daniel Le Berre. Proceedings of the 14th International Workshop on Pragmatics of SAT. 14th International Workshop on Pragmatics of SAT, 2023. ⟨hal-04486837⟩
Collections
12
Consultations
0
Téléchargements