Une autre règle de séparation pour des codages de CSP vers SAT

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:JFPC (15. : 2019 : Albi) 15es journées francophones de programmation par contraintes (JFPC 2019)
1. Verfasser: Ostrowski, Richard (VerfasserIn)
Weitere Verfasser: Paris, Lionel (VerfasserIn), Varet, Adrien (VerfasserIn)
Pages:15
Format: UnknownFormat
Sprache:fre
Veröffentlicht: 2019
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
ISBN:9781510890176