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 945 of 994 found articles
 
 
  Towards a characterisation of the behaviour of stochastic local search algorithms for SAT
 
 
Title: Towards a characterisation of the behaviour of stochastic local search algorithms for SAT
Author: Hoos, Holger H.
St├╝tzle, Thomas
Appeared in: Artificial intelligence
Paging: Volume 112 (1999) nr. 1-2 pages 213-232
Year: 1999
Contents:
Publisher: Elsevier Science B.V.
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

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