CosySEL: Improving SAT Solving Using Local Symmetries

Bibliographische Detailangaben

Veröffentlicht in:	VMCAI (24. : 2023 : Boston) Verification, model checking, and abstract interpretation
1. Verfasser:	Saouli, Sabrine (VerfasserIn)
Weitere Verfasser:	Baarir, Souheib (VerfasserIn), Dutheillet, Claude (VerfasserIn), Devriendt, Jo (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2023
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!