Exact enumeration of satisfiable 2-SAT formulae

Uloženo v:

Podrobná bibliografie
Vydáno v:	Combinatorial theory Ročník 3; číslo 2
Hlavní autoři:	Dovgal, Sergey, De Panafieu, Élie, Ravelomanana, Vlady
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	01.01.2023
ISSN:	2766-1334, 2766-1334
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

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