Works matching IS 09217126 AND DT 2015 AND VI 28 AND IP 2


Results: 12
    1
    2

    MaxSAT-based encodings for Group MaxSAT.

    Published in:
    AI Communications, 2015, v. 28, n. 2, p. 195, doi. 10.3233/AIC-140636
    By:
    • Heras, Federico;
    • Morgado, Antonio;
    • Marques-Silva, Joao
    Publication type:
    Article
    3
    4
    5
    6

    SAC and neighbourhood SAC.

    Published in:
    AI Communications, 2015, v. 28, n. 2, p. 345, doi. 10.3233/AIC-140635
    By:
    • Wallace, Richard J.
    Publication type:
    Article
    7
    8
    9
    10
    11
    12