Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 5 of 19 found articles
 
 
  Exact 3-satisfiability is decidable in time O(20.16254n)
 
 
Title: Exact 3-satisfiability is decidable in time O(20.16254n)
Author: Porschen, Stefan
Randerath, Bert
Speckenmeyer, Ewald
Appeared in: Annals of mathematics and artificial intelligence
Paging: Volume 43 (2004) nr. 1-4 pages 173-193
Year: 2004
Contents:
Publisher: Springer Netherlands, Dordrecht
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 5 of 19 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands