research

Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean

Authors
Publication date
1 May 2004
Publisher

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Southampton (e-Prints Soton)

    redirect
    oaioai:eprints.soton.ac.uk:262250
    Last time updated on 05/04/2012