Sciweavers

    2095 search results - page 22 / 419
    » Improved pebbling bounds
    Sort
    View
    COCOON
    2009
    Springer
    139views Combinatorics» more  COCOON 2009»
    An Improved Time-Space Lower Bound for Tautologies
    16 years 22 days ago
    An Improved Time-Space Lower Bound for Tautologies
    Download  pages.cs.wisc.edu
    Scott Diehl, Dieter van Melkebeek, Ryan Williams
    claim paper
    Read More »
    WAOA
    2007
    Springer
    89views Algorithms» more  WAOA 2007»
    Improved Lower Bounds for Non-utilitarian Truthfulness
    16 years 8 days ago
    Improved Lower Bounds for Non-utilitarian Truthfulness
    Download  www.cs.tau.ac.il
    Iftah Gamzu
    claim paper
    Read More »
    COLT
    2005
    Springer
    99views Machine Learning» more  COLT 2005»
    Improved Second-Order Bounds for Prediction with Expert Advice
    15 years 11 months ago
    Improved Second-Order Bounds for Prediction with Expert Advice
    Download  homes.dsi.unimi.it
    Nicolò Cesa-Bianchi, Yishay Mansour, Gilles...
    claim paper
    Read More »
    WAOA
    2004
    Springer
    76views Algorithms» more  WAOA 2004»
    Improved Bounds for Sum Multicoloring and Scheduling Dependent Jobs with Minsum Criteria
    15 years 11 months ago
    Improved Bounds for Sum Multicoloring and Scheduling Dependent Jobs with Minsum Criteria
    Download  www.ru.is
    Rajiv Gandhi, Magnús M. Halldórsson,...
    claim paper
    Read More »
    DATE
    2003
    IEEE
    100views Hardware» more  DATE 2003»
    Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals
    15 years 11 months ago
    Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals
    Download  www.cs.sfu.ca
    : Binary Decision Diagrams (BDDs) have been widely used in synthesis and verification. Boolean Satisfiability (SAT) Solvers, on the other hand, have been gaining
    Gianpiero Cabodi, Sergio Nocco, Stefano Quer
    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.