Sciweavers

    101 search results - page 1 / 21
    » sat 2009
    Sort
    View
    123
    Voted
    SAT
    2009
    Springer
    90views Hardware» more  SAT 2009»
    Solving (Weighted) Partial MaxSAT through Satisfiability Testing
    15 years 11 months ago
    Solving (Weighted) Partial MaxSAT through Satisfiability Testing
    Download  www.iiia.csic.es
    Carlos Ansótegui, Maria Luisa Bonet, Jordi ...
    claim paper
    Read More »
    142
    Voted
    SAT
    2009
    Springer
    118views Hardware» more  SAT 2009»
    Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability
    15 years 11 months ago
    Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability
    Download  www.cse.yorku.ca
    Anton Belov, Zbigniew Stachniak
    claim paper
    Read More »
    139
    Voted
    SAT
    2009
    Springer
    87views Hardware» more  SAT 2009»
    A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem
    15 years 11 months ago
    A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem
    Download  www.cs.swan.ac.uk
    Adrian Balint, Michael Henn, Oliver Gableske
    claim paper
    Read More »
    136
    Voted
    SAT
    2009
    Springer
    94views Hardware» more  SAT 2009»
    Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation?
    15 years 11 months ago
    Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation?
    Download  opus.kobv.de
    Timo Berthold, Stefan Heinz, Marc E. Pfetsch
    claim paper
    Read More »
    106
    Voted
    SAT
    2009
    Springer
    97views Hardware» more  SAT 2009»
    Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates
    15 years 11 months ago
    Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates
    Download  www.lsi.upc.es
    Javier Larrosa, Robert Nieuwenhuis, Albert Olivera...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.