Digital Library
Close Browse articles from a journal
 
<< previous   
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 10 of 10 found articles
 
 
  Structure-based satisfiability checkingAnalyzing and harnessing the potential
 
 
Title: Structure-based satisfiability checkingAnalyzing and harnessing the potential
Author: Järvisalo, Matti
Appeared in: AI communications
Paging: Volume 22 (2009) nr. 2 pages 117-119
Year: 2009-06-15
Contents: This note summarizes a dissertation that focuses on methods for solving structured real-world problems based on propositional satisfiability (SAT). The work contributes to the analysis and development of both complete search (DPLL and clause learning) and stochastic local search methods for SAT.
Publisher: IOS Press
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 10 of 10 found articles
 
<< previous   
 
 Koninklijke Bibliotheek - National Library of the Netherlands