Proceedings of the 14th International Workshop on Pragmatics of SAT - Archive ouverte HAL Accéder directement au contenu
Proceedings/Recueil Des Communications Année : 2023

Proceedings of the 14th International Workshop on Pragmatics of SAT

Matti Järvisalo
  • Fonction : Auteur
Fichier non déposé

Dates et versions

hal-04486837 , version 1 (02-03-2024)

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⟩
5 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More