Works matching IS 09255001 AND DT 2008 AND VI 41 AND IP 1


Results: 10
    1
    2
    3
    4
    5

    An efficient solver for weighted Max-SAT.

    Published in:
    Journal of Global Optimization, 2008, v. 41, n. 1, p. 61, doi. 10.1007/s10898-007-9166-9
    By:
    • Teresa Alsinet;
    • Felip Manyà;
    • Jordi Planes
    Publication type:
    Article
    6
    7
    8
    9
    10