Works matching IS 02692821 AND DT 2013 AND VI 40 AND IP 4


Results: 8
    1
    2
    3
    4
    5
    6
    7

    Simple algorithm portfolio for SAT.

    Published in:
    Artificial Intelligence Review, 2013, v. 40, n. 4, p. 457, doi. 10.1007/s10462-011-9290-2
    By:
    • Nikolić, Mladen;
    • Marić, Filip;
    • Janičić, Predrag
    Publication type:
    Article
    8