Exact enumeration of satisfiable 2-SAT formulae

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Combinatorial theory Jg. 3; H. 2
Hauptverfasser:	Dovgal, Sergey, De Panafieu, Élie, Ravelomanana, Vlady
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	01.01.2023
ISSN:	2766-1334, 2766-1334
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
ISSN:	2766-1334 2766-1334
DOI:	10.5070/C63261985