Exact 3-satisfiability is decidable in timeO(20.16254n)

Annals of Mathematics and Artificial Intelligence 2005 / 01 Vol. 43; Iss. 1-4

Exact 3-satisfiability is decidable in timeO(20.16254n)

Stefan Porschen, Bert Randerath, Ewald Speckenmeyer
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
43
Language:
english
Pages:
21
Journal:
Annals of Mathematics and Artificial Intelligence
DOI:
10.1007/s10472-005-0428-2
Date:
January, 2005
File:
PDF, 199 KB
english, 2005
Conversion to is in progress
Conversion to is failed