Exact 3-satisfiability is decidable in time O(20.16254n )

Autor:	Ewald Speckenmeyer, Bert Randerath, Stefan Porschen
Rok vydání:	2004
Předmět:	Discrete mathematics Artificial Intelligence Applied Mathematics Satisfiability Decidability Mathematics
Zdroj:	Annals of Mathematics and Artificial Intelligence. 43:173-193
ISSN:	1573-7470 1012-2443
DOI:	10.1007/s10472-005-0428-2
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::4167c1e98e7380b90487741c6dd4a744 https://doi.org/10.1007/s10472-005-0428-2 Zobrazit plný text záznamu Full text from SpringerLink