Sciweavers

    16091 search results - page 190 / 3219
    » Solving
    Sort
    View
    DAGSTUHL
    2008
    117views Software Engineering» more  DAGSTUHL 2008»
    Present and Future of Practical SAT Solving
    15 years 5 months ago
    Present and Future of Practical SAT Solving
    Download  www.swan.ac.uk
    Oliver Kullmann
    claim paper
    Read More »
    ESANN
    2007
    147views Neural Networks» more  ESANN 2007»
    Several ways to solve the MSO problem
    15 years 5 months ago
    Several ways to solve the MSO problem
    Download  www.dice.ucl.ac.be
    The so called MSO-problem, – a simple superposition of two or more sinusoidal waves –, has recently been discussed as a benchmark problem for reservoir computing and was shown ...
    Jochen J. Steil
    claim paper
    Read More »
    164
    Voted
    IPCO
    2008
    221views Optimization» more  IPCO 2008»
    A Comparative Study of Linear and Semidefinite Branch-and-Cut Methods for Solving the Minimum Graph Bisection Problem
    15 years 5 months ago
    A Comparative Study of Linear and Semidefinite Branch-and-Cut Methods for Solving the Minimum Graph Bisection Problem
    Download  www-user.tu-chemnitz.de
    Abstract. Semidefinite relaxations are known to deliver good approximations for combinatorial optimization problems like graph bisection. Using the spectral bundle method it is pos...
    Michael Armbruster, Marzena Fügenschuh, Chris...
    claim paper
    Read More »
    IJCAI
    2007
    152views Artificial Intelligence» more  IJCAI 2007»
    Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving
    15 years 5 months ago
    Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving
    Download  www.ijcai.org
    In this paper we present a general logical framework for (weighted) MAX-SAT problem, and study properties of inference rules for branch and bound MAX-SAT solver. Several rules, wh...
    Han Lin, Kaile Su
    claim paper
    Read More »
    PDPTA
    2007
    87views Distributed And Parallel Com...» more  PDPTA 2007»
    A Reduct Solving Parallel Algorithm Based on Relational Extension Matrix
    15 years 5 months ago
    A Reduct Solving Parallel Algorithm Based on Relational Extension Matrix
    Download  faculty.kfupm.edu.sa
    Pei Li Zhou, Salahadin Mohammed
    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.