A Method for Counting Models on Cubic Boolean Formulas

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	MCPR (15. : 2022 : Tepic) Pattern Recognition
1. Verfasser:	López-Medina, Marco A. (VerfasserIn)
Weitere Verfasser:	Marcial-Romero, J. Raymundo (VerfasserIn), Hernández, José A. (VerfasserIn), Morales-Hernández, Sandra (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2023
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!