Exact enumeration of satisfiable 2-SAT formulae

Uložené v:

Podrobná bibliografia
Vydané v:	Combinatorial theory Ročník 3; číslo 2
Hlavní autori:	Dovgal, Sergey, De Panafieu, Élie, Ravelomanana, Vlady
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	01.01.2023
ISSN:	2766-1334, 2766-1334
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!