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 129 of 136 found articles
 
 
  The state of SAT
 
 
Title: The state of SAT
Author: Kautz, Henry
Selman, Bart
Appeared in: Discrete applied mathematics
Paging: Volume 155 (2007) nr. 12 pages 11 p.
Year: 2007
Contents:
Publisher: Published by Elsevier B.V.
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

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