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 6 of 71 found articles
 
 
  A logical approach to efficient Max-SAT solving
 
 
Title: A logical approach to efficient Max-SAT solving
Author: Larrosa, Javier
Heras, Federico
de Givry, Simon
Appeared in: Artificial intelligence
Paging: Volume 172 (2008) nr. 2-3 pages 30 p.
Year: 2008
Contents:
Publisher: Elsevier B.V.
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

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