Exact enumeration of satisfiable 2-SAT formulae

Saved in:

Bibliographic Details
Published in:	Combinatorial theory Vol. 3; no. 2
Main Authors:	Dovgal, Sergey, De Panafieu, Élie, Ravelomanana, Vlady
Format:	Journal Article
Language:	English
Published:	01.01.2023
ISSN:	2766-1334, 2766-1334
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

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