From Non-Clausal to Clausal MinSAT

Bibliographische Detailangaben

Veröffentlicht in:	Associació Catalana d'Intelligència Artificial (23. : 2021 : Online) Artificial intelligence research and development
1. Verfasser:	Li, Chu-Min (VerfasserIn)
Weitere Verfasser:	Manyá, Felip (VerfasserIn), Soler, Joan Ramon (VerfasserIn), Vidal, Amanda (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!